All available versions of type_check