enable HList instance derivation by short-circuiting
enable Coproduct instance derivation by short-circuiting
tuned
tests for short circuits