ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T10194.hs
{-# LANGUAGE RankNTypes #-}
module T10194 where
type X = forall a . a
comp :: (X -> c) -> (a -> X) -> (a -> c)
comp = (.)
{-# LANGUAGE RankNTypes #-}
module T10194 where
type X = forall a . a
comp :: (X -> c) -> (a -> X) -> (a -> c)
comp = (.)