higher 0.1.1

Higher kinded types, in a way