module T13 where

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