-- | Comment on T
data T = MkT -- ^ Comment on MkT