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