> It sometimes seems to me that people are view-ing Option as an > absolute term - a complete Maybe monad that everyone should obey.
Yeah, that's pretty much it. :-) Saying that you have a replacement Option with totally different instances is like telling me that you have a new definition for a derivative. Maybe/Option are just implementations of the same abstract mathematical concept (like two different ways of writing the *same* definition of a derivative). Box is something which is obviously inspired by the Maybe monad, but seems to have gone in a totally new direction with it. I'm not saying that direction is bad, but it's certainly not anything like Maybe. It's like looking at the problem of computing instantaneous rate of change and coming up with a technique which maps things into a different complexity domain. Your results may be valid, but you're certainly not going to end up with differential calculus as we know it. Daniel -- You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.
