http://xuwei-k.github.io/slides/functional-something-shapeless/#0 https://github.com/xuwei-k/slides/blob/4dd0dfa/functional-something-shapeless/functional-something-shapeless/functional-something-shapeless.md