module T11 where

-- >>> :kind! a
-- Not in scope: type variable ‘a’