-
Hans-Peter Deifel authored
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.
68fc692e
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.