{-# LANGUAGE TypeFamilies #-}

module Simple14 where

data T a = T (a~a)