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