Learning Shapeless: HLists (www.reddit.com)