Data.Yoko.W

data family W t :: (* -> * -> *) -> * -> * -> *

unW0

unW1

unW2

data family W' s :: (* -> * -> *) -> * -> * -> *

unW'0

unW'1

unW'2

data family Sym t :: k -> * -> * -> *

unSym0

unSym1

unSym2

class ComposeW t