Curried functions for traitorous/algebraic