kindly elaborate functions of types of types