-- |
module Type.Funspection (
    module Type.Funspection.Decidable,
    module Type.Funspection.Undecidable,
) where


import Type.Funspection.Decidable
import Type.Funspection.Undecidable