module T13 where

-- >>> :kind A
-- Not in scope: type constructor or class ‘A’