1 2 3 4 5 6
{-# LANGUAGE GADTs #-} {-# LANGUAGE RankNTypes #-} module T15323 where data MaybeDefault v where TestParens :: forall v . (Eq v) => MaybeDefault v