Qualifiable instances for (,) (,,) [] Set Map (->)