pure (\x0 -> x0) ()