"real" is of type (Concept -> World -> Bool) Expected a value of type (Concept -> Person -> Bool) The type 'World' and 'Person' are not compatible.

"real" is of type (Concept -> World -> Bool) Expected a value of type (Concept -> Person -> Bool) The type 'World' and 'Person' are not compatible. And no, I am not kidding. Your question relies on a flawed assumption.