<*> + pure (\u1 -> u1) ` pure unit