Code unexpectedly accepted by GHC/GHCi Languages

Code unexpectedly accepted by GHC/GHCi

I don't understand why this code should pass type-checking:Since each component is bound to the same variable x, I would expect that the most general type for this expression to be (Maybe a, Maybe a). I get the same results if I use a where instead of a let. Am...
Read More