higher 0.1.0

Higher kinded types, in a way
Documentation