Add 'type family (m :: Symbol) <> (n :: Symbol)'