repro for bug wrt. shapeless vs. scala 2.11.3