Couldn't match type `r0' with `p'
because type variable `p' would escape its scope
This (rigid, skolem) type variable is bound
In the Land of Mordor where the Shadows lie.