Kill runtime reflection
http://stackoverflow.com/a/33580411/470341 https://meta.plasm.us/posts/2015/11/08/type-classes-and-generic-derivation/#runtime-reflection
"this approach knows absolutely nothing at compile time about what types it can or can’t parse into"