I program using a moniod X in the category of endofunctors of X, with the product '×' replaced by the composition of endofunctors and a unit set which is the identity endofunctor.
Put simply, I use list comprehension and continuations.