Still working on monads expression in Pattern matching cases