disco-0.1.0.0: test/pretty-whnf/input

left(■) : Unit + Nat
\(x:Void). 3