1 2 3 4 5
{-# LANGUAGE KindSignatures #-} -- Trac #3095 module T3095 where class Bla (forall x . x :: *) where