Dispatcher

Construct that does the heavily lifting for encoding union values, by memoising the compilation of the alternatives, dispatching the union instance to the correct pre-compiled encoder, and lift the resulting function into an encoder that works on the union.