ref: d8c459cc126c7175b799c368612f9ae33c95dc91 dir: /test/exporttrait.myr/
pkg = trait t @a impl t int ;; trait t @a = frob : (v : @a -> @a) ;; impl t int = frob = {v -> v*2 } ;;