{ Kind = ./Kind, Type = ./Type, functor = ./functor, term = ./term }