1 2 3 4 5 6 7 8 9
module T22645 where import Data.Coerce type T :: (* -> *) -> * -> * data T m a = MkT (m a) p :: Coercible a b => T Maybe a -> T Maybe b p = coerce