Assume that we have imported Data.Typeable which contains cast :: (Typeable a, Typeable b) -> a -> Maybe b. Consider that > cast 'n' :: Maybe Char Just 'n' yet > cast 7 :: Maybe Char