Does Typed Scheme understand sequences, i.e., something like (Sequenceof a)? On a related note, I've tried converting a module to typed scheme, and it's telling me it doesn't like in-range: typecheck: unbound identifier in-range Thanks, Mark