type Either = ?? instance (Drawable a, Drawable b) => Drawable (a ⊕ b) instance (Graphic a, Graphic b) => Graphic (a ⊕ b)
Either is the standard disjoiunt union type constructor within
the Fudget library.
In many places in the documentation we write a+b or a⊕b as an abbreviation
of Either a b.