ghc-exactprint-0.5.0.0: tests/examples/ghc8/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 = (.)