Build a generator for higher-order mixins

[tgrospic]

The big part of boilerplate code is when multiple algebras are combined with explicit implementation of algebra interface. For example state monad with either type.

object-algebras/Algebras.Impl/StateEitherImpl.cs

Lines 14 to 25 in 37d9d2c

	public class StateEitherImpl<st, err>
	: EitherAlg<Either<err>, err>
	, ApplicativeAlg<Either<err>>
	, MonadAlg<State<st>>
	, AltAlg<State<st>>
	, ThrowErrorAlg<State<st>, err>
	, StateAlg<State<st>, Either<err>, st>
	, TraversableAlg<Collection, State<st>>
	, CollectionAlg<Collection>
	, FunctorAlg<Collection>
	, PlusAlg<Collection>
	, FoldableAlg<Collection> {

The good news is that this complete class can be generated automatically with the help of any off-the-shelf dependency injection library. Just basic constructor injection can do the trick. Visual Studio already has support to generate this pattern, including with method body if implementing interface is supplied in the constructor.

Very similar thing exists for Scala to generate composed instances.
https://github.com/b-studios/MixinComposition