pub fn kind1(param: Type) -> Type