types and type variable in Haskell Languages

types and type variable in Haskell

Scratching at the surface of Haskell's type system, ran this:Somehow, despite en and ec have different types, they both test True on == e. I say "somehow" not because I am surprised (I am not), but because I don't know what is the name of rule/mechanism that allows this. It...
Read More