module T13 where

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