Post #3133867

when we say "these two values are morally equivalent" we mean that they might not be literally equivalent but you should pretend they are, and if you don't you are committing a sin. e.g. distinguishing two hash maps based on the order of elements within them. but ... you can confess this sin by declaring it in the type, and passing on the moral buck. just say "pretend these things, which i have immorally distinguished, are actually the same". this is how morality, er, quotient types work.