path: root/testsuite/tests/gadt/T9096.hs

{-# LANGUAGE GADTs #-}

module T9096 where

data Foo a where
  MkFoo :: (->) a (Foo a)