Two working Par monad versions