Add deduce to AdHoc so it implements SimpleDeducer

TODO

 * Test case does not pass: Object/bind composes d with f; this is wrong
   in the case of SimpleDeducer/deduce
 * Simplify bind: get rid of exploding number of functions
 * Perhaps do this by removing variadic >>= & bind (maybe adhoc->>=)