Strategy 2: A Simplified Term Implementation

Sseq ::= nil | unit E `cat` Sseq

data Seq a = Nil | a `UnitCat` (Seq a)

(x `UnitCat` xs) `cat` ys = (unit x `cat` xs) `cat` ys

Operations must convert simplified arguments to simplified results.