Yes I am aware of this. It is explained very well in the tutorial paper "Practical type inference for arbitrary-rank types" : https://www.microsoft.com/en-us/re

Yes I am aware of this. It is explained very well in the tutorial paper "Practical type inference for arbitrary-rank types" : https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...