{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE RankNTypes #-}

type X = Maybe (forall a. Show a => a)

f :: X -> Maybe Int
f Nothing = Nothing
f (Just x) = Just x