finally make proper use of DataKinds
Merge branch 'master' of https://github.com/ericbaer/simple-type-tree