path: root/testsuite/tests/simplCore/should_compile/T17787.hs

{-# LANGUAGE GADTs #-}
module T17787 where

data T a where
  C :: T ()

foo :: (T () -> T () -> ()) -> ()
foo f = f C C