Simplify the types, by making Wrap more complex
Add foldl
Merge pull request #1 from nomeata/master

Simpler type signatures