20 Apr
2018
20 Apr
'18
3:20 p.m.
On Fri, 20 Apr 2018, Brandon Allbery wrote:
The more precise answer to your question is that an explicit type signature is taken as exact. If the type needed is some (Ctx a => a), as here, but your type signature just says a, you will get a type error exactly as you did. "a" there does not mean "figure out a type for me". It means *any type at all*. Including Void, (), Int, etc., which one would not expect to work there.
Thanks! That was an illuminating answer :) Marc Busqué http://waiting-for-dev.github.io/about/