module T11 where

-- >>> :kind! A
-- Not in scope: type constructor or class `A'