Expose new typeclass combinators

[jacob-alford]

Helpers like tap, etc are currently @internal, they should be exposed

[jacob-alford]

This is a bit tricky because it relies on some private types that are not (with fp-ts) intended to be exposed as an API. So for TS's sake we'll also need to expose those too.

We could also consider exposing 'dual'