I don't think it is safe to remove the type-check here once the signature is restored with a type