The RefinementInterface class itself doesn't require that the type is
Functor, Foldable or Traversable. This constraint is now required at
the use sites where it's needed.