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.