declarative Pure functions Inmutable currying combinator