1 2
type family T :: (* -> * -> * -> *) -> (* -> *) -> * type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *