Why isn't mutable a subtype of immutable, or vice versa?

WTF is going on with R7RS Large? 2026 edition

Tour of a pattern matcher: expression and pattern expansion

Scheme Reports at Fifty