Adding Monads for functional programming work to verify results