Comment Comment by tim_hutton If this is true then Haskell's type system is Noether's Theorem. parent tim_hutton 4 years ago
