Recursive generic binding

[nc6]

#17 adds support for Generics, but at the moment we have specific functions for binding one or two parameters. It would be nice to support recursive binding to allow an arbitrary number of arguments.

[nc6]

See #50 for some alternate approaches on this