Move monad tests to their own file