Data.Extensible.Sum1

data (f :||: g) a b

class Sum1 c s

type w :>||: a