Since I didn\'t get an answer from the Part 1:
Can shapeless Record type be used as a Poly1?
I assume this feature doesn\'t exist in shapeless. So I decided own my
