Rather is a combination of Sum and Product primitives. Supertype (Rather e ee) ~ ((e `S` ee) `S` (e `P` ee))