Generalize type signatures for "angelic binds"
Provide specializations of generalized type signatures
Merge pull request #2 from tomjaguarpaw/master

Generalize type signatures for "angelic binds"