1 2 3 4 5 6 7
{-# LANGUAGE KindSignatures #-} -- #3095 module T3095 where import Data.Kind (Type) class Bla (forall x . x :: Type) where