3 ms·> law-abiding implementations Are you referring to category laws?by ademarre 12y ago> law-abiding implementations Are you referring to category laws?dllthomas 12y agoLots of typeclasses have associated "laws" that well-behaved instances are expected to abide by.laureny 12y agoBut these are not enforceable by the type system (at least in Haskell), kind of supporting my point that types alone are rarely sufficient :)dllthomas 12y agoI don't think anyone believes that types are sufficient outside, at least outside of a dependently typed language (at which point you'll have more diversity of opinion).tel 12y agoTypes in Haskell won't buy you 100% of what you need, but they may buy you 50%.