Complexity of kernel Fun subtype checking