scare quotes around 'pure' for untyped lambda