conids monad (no idea what a monad is)