Simplify custom "env" type in example Since we are already using the "constraint 'a =" syntax, the "as 'a" at the end is not needed, and even confusing.