disco-0.1.0.0: test/types-rec/input

:load test/types-rec/types-rec.disco
snd(e : T2)(e')