reader: identity -> equality
(<>) -> (<+>)

confusion ensues