To get the type system to cooperate I think we’d n...
# strikt
r
To get the type system to cooperate I think we’d need a separation between
Assertion.Builder
for atomic values and a new sub-interface for iterables