module T13 where

-- >>> :kind a