Data.Extensible.Sum
data
a
:|:
b
class
SumClass
c s
type
w
:>|:
a
sumPrism