https://github.com/purescript/documentation/blob/master/errors/ScopeConflict.md talks about "id", but that's become "identity".

Action: think of a different illustration.