Addinig Monadic bind support