shapeless: Drop two cases from the min example, it's too long otherwise