Gabriel439/Haskell-Index-Core-Library — pull request #2 by tomjaguarpaw (2014-05-28 10:46:34+00:00)
Title: 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!