úÎ!B0     Safe&',.=>?@AHUVXÀ  funspectionThe constraint required for  . funspection Removes the  tag from function signature of f.This is the inverse of ' in the sense that the following holds: %UntaggedReturn (TaggedReturn r f) ~ fNote: This fails to compile if Return r is not a valid return type of f. funspectionThe constraint required for  . funspectionTags the desired return type r of f with .Note: This fails to compile if r is not a valid return type of f. Examples: ·TaggedReturn Int Int ~ (Return Int) TaggedReturn Int (Char -> Char -> Int) ~ Char -> Char -> Return Int TaggedReturn (Char -> Int) (Char -> Char -> Int) ~ Char -> Return (Char -> Int) funspection&Determines whether a function of type f can return the type r. funspectionPYeilds the ultimate return type of a function (after it has been fully applied).jSince this never resolves to a function type as the return type, one must wrap desired function returns.  can be used for such wrapping. funspection¬This can be used to make the return type of a function unambigious in pattern matching contexts. (Ambiguity can occur because functions in Haskell are implicitly curried.)  funspection=This only compiles when the supplied type-level condition is   funspectionTransforms a function of type f into a new function of type TaggedReturn r f  funspectionTransforms a function of type TaggedReturn r f into a new function of type f    Safe.HUVº funspection<Yields the arity of the given function type as a type-level Safeø        *funspection-1.0.0.0-4t79m5245G22J81Bq3DA3WType.Funspection.DecidableType.Funspection.UndecidableType.Funspection UntagReturnUntaggedReturn TagReturn TaggedReturn CanReturnReturnOfReturnunReturnEnableIf tagReturn untagReturn$fTagReturn'Returnr$fTagReturn'->->$fUntagReturn'Return$fUntagReturn'->ArityOfghc-prim GHC.TypesTrueNat