instance Bind (M b)