#lang reprovide
(submod "../sequence.rkt" untyped)