M1
showFun :: forall (a :: Type). IfSat (Show (a -> a)) => (a -> a) -> String Source #
test1 :: (Bool -> Bool) -> String Source #