On Tue, Jun 29, 2010 at 10:18 AM, Stephen Tetley <stephen.tetley@gmail.com> wrote:

Hi Michael

If you going to the trouble of constructing a sum type (obliged to be
2 parameter) expressly to play well with the favourite single
parameter classes e.g. Functor/ Applicative / Monad [*], maybe it is
worth considering new names for the type and its constructors relating
to what the Applicative/Monad instances actually model.

I'm definitely open to such an approach, but I couldn't come up with any good names ;). I'm open to suggestions.

As an aside, my wife is a classics major (Greek and Latin), and she recommended I name the constructors "Sinister" and "Dexter".

Michael