Non-working (strictness issues) version with new separate monad wrapper. Not sure why strictness is breaking...
Merge branch 'new_branch_name'

Conflicts:
	Midas.hs