module T11 where

-- >>> :kind! a