EitherT package:selective

Encode Either into a generalised sum type.