path: root/testsuite/tests/typecheck/should_fail/T10194.hs

{-# LANGUAGE RankNTypes #-}
module T10194 where

type X = forall a . a

comp :: (X -> c) -> (a -> X) -> (a -> c)
comp = (.)