Generalize type signatures for "angelic binds"