nonEmptyList

ArbitraryK EqK