summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T9096.hs
blob: d778798d3651af08accded86a42da8116e3e941c (plain)
1
2
3
4
5
6
{-# LANGUAGE GADTs #-}

module T9096 where

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