Definitely agree about intuitions, I think even experienced people can have issues when a type has a lot of type variables. What do they all mean? It's almos

Definitely agree about intuitions, I think even experienced people can have issues when a type has a lot of type variables. What do they all mean? It's almost like an implicit API you need to learn for that particilular type, with varying levelsnof documentation or lack thereof