Data.Extensible.Sum2

data (f :+: g) a b

class Sum2 c s

type w :>+: a