New type to handle composed types. Function to check the type of values by default