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