except that they're monadds