Hook: Maybe it's optional, but the result is clear Either I work with int lists or lazy Integers here Maybe it's optional, but the result is clear Either I work with int lists or lazy Integers here Riding dunes on the back of a caml Spot an oasis, some shady cabal Backpacks stacked high with their trashy code around Trigger minor collection, light up my Camel and bounce calmly weaving caml code, complexity tamed python’s gettin’ pretty painful, time to reshape grab it, twist it in a pretzel, oops, the reptile’s dead my soul’s unscathed, purity won in the end time to chill, I lean on a palm tree Isabelle's beside me, living the dream my expression's evaluation depends in type system validation I'm a menace in the field of effects, architect of connects Can't delimit me, watch me shift and reset Fat stacks get cut up then linked back together One-shot's all I need, your constraints mean nothing