added in Programming Praxis Standard Prelude