1 2 3 4 5 6 7
{-# LANGUAGE ExistentialQuantification, DatatypeContexts #-} module ShouldCompile where data Eq t => TrafoE t = forall env2 . TrafoE Int t newSRef () = TrafoE