Generalize type signatures for "angelic binds"

I think the types of the "angelic binds" can be generalized.  The final return type does not need to be restricted.  Please check you agree with me because I only learned about indexed monads yesterday!