The problem with using Identity and Identity# is that there's already something in base named Identity, and since it's a newtype (not a data type), it has the wrong semantics concerning laziness for this kind of thing.