Talk:Non-trivial type synonyms
Redfining to "id"
What do you mean by "redefined to be 'id'"? (New to Haskell, though I like it a lot.) Instinctively I dislike the idea of changing things after the code is "stabilized", because code never stabilizes unless because people are afraid to touch it because it's too fragile. I really like the idea of making the type system track units like that... Has anybody worked out the details of a system that would use classes and inheritance to automate the tracking of complex units like Miles/Hour? If I do, I'll probably post it here. --User:DanielKnapp
One possibly valid reason for removing the constructors and selector may be that they clutters the code too much. (I think restricted type synonyms can sometimes fix this better)