Use monadic functions for Option handling