Reject derivable type classes with higher-rank methods