Command<T> c = createCommand();
Higher<Command.µ,T> hktCommand = c;
Higher<Command.µ,T> hktCommand = createCommand();

Output<T> o = createOutput();
Higher<Output.µ,T> hktOutput = o;
Higher<Output.µ,T> hktOutput = createOutput();

Done<T> d = createOutput();
Higher<Done.µ,T> hktDone = d;
Higher<Done.µ,T> hktDone = createDone();

Bell<T> b = createBell();
Higher<Bell.µ,T> hktBell = d;
Higher<Bell.µ,T> hktBell = createBell();