{ a : Kind → Kind }