RAC function type checker