type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *
type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *