:load test/poly-rectype/poly-rectype.disco