This will finally let me make the monad library I've been dreaming of for years. Be afraid.
We already have monads at home (return X, err)
We already have monads at home (return X, err)