Excuse evaluator
Chains in chains, with OutputOf carrying the types across.
pull it · bedit this chain · b
rehearse: run with made-up answers, no key · rcompare two inputs · crun every sample and see where each goes · wrun it firstfit graph · fno run yet
timeline
the waterfall fills in as the chain runs.