Coproduct
Inject
T2, Semigroup, WriterT
implement _1
InjectInstance, Coproduct.left, Coproduct.right