Introduced MonoidAdapterRegistry

Which means that Writer no longer need the TMonoidAdapter type
parameter.