let
bind f m = f m