macroとdynamicを使って任意の型を簡潔に記述、生成する手法がやばい

shapelessの話をします。