1 2 3 4 5 6 7 8 9 10 11 12
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE RankNTypes #-} module T14618 where safeCoerce :: a -> b safeCoerce = f' where f :: d -> forall c. d f x = x f' = f