Strategy 3: Context Passing Implementation

Claim: We only need to evaluate sequences in contexts of the form

list (@ `cat` zs)

Idea: represent contexts as values

newtype Cxt a = ListCat (Seq a)

Represent sequences as functions

type Seq a = Cxt a -> [a]

Type of the

observation