Units tests combining IO and Error monads
Merge