(module Sequence)