On Sat, Jun 28, 2014 at 10:59 PM, Rafael Almeida <almeidaraf@gmail.com> wrote:
What is there to be gained by such a law which can't be enforced by the compiler?

There are lots of things that can't be enforced by the compiler; for example, it can't force you to write an Ord instance that implements a correct total ordering. Does this make Ord less useful to you? Or pointless?

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net