29 Jun
2010
29 Jun
'10
7:27 a.m.
On Tue, Jun 29, 2010 at 10:18 AM, Stephen Tetley
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