zipper -package:streams -package:traverse-with-class -is:module package:Agda

Lookup the clause for an interaction point in the signature. Returns the CaseContext, the previous clauses, the clause itself, and a list of the remaining ones.