Typeclass instance to minimize a type collection wrt. to its path cardinality under the constraint
that the intersected initial type collection is subtype equal to the intersected result.
Example:
Seq('A :&: 'B =>: 'C :&: 'D, 'A =>: 'C) = Set('A =>: 'C, 'A :&: 'B =>: 'D)
Typeclass instance to minimize a type collection wrt. to its path cardinality under the constraint that the intersected initial type collection is subtype equal to the intersected result. Example:
Seq('A :&: 'B =>: 'C :&: 'D, 'A =>: 'C) = Set('A =>: 'C, 'A :&: 'B =>: 'D)