We don't really need an algebra for lifting pure values.