T15323.hs 160 Bytes
Newer Older
1 2 3 4 5 6
{-# LANGUAGE GADTs      #-}
{-# LANGUAGE RankNTypes #-}
module T15323 where

data MaybeDefault v where
    TestParens  :: (forall v . (Eq v) => MaybeDefault v)