A monad to handle generalized C-style forks through ContT