Use algebraic representations to build recursive functions.