Add contract checking for functions passed as arguments to pyramda functions

[skabbass1]

Currently, there are no checks in place to ensure that functions passed as arguments to pyramda functions conform to a specific contract in terms of signature and return values. For example, the function passed to pyramda's flip function must accept atleast two arguments or the function passed to filter must be a predicate.

Libraries such as sanctuary might provide a good paradigm for implementing such contract checking