hello, Travis
adding several new higher-kinded typeclasses
Merge branch 'master' into spireonspark