add Monad sample code