Agreed. There is a profound philosophical disconnect between the (well-meaning) author of the Haskell and the way the law works. There is a whole body of thou

Agreed. There is a profound philosophical disconnect between the (well-meaning) author of the Haskell and the way the law works. There is a whole body of thought regarding dealing with humans that plays out in the law: mathematical approaches to law do not regard that and tend to fail.