[Shape] contains all functions that do not create or modify a map.
[S] is the complete signature of Hptmap (and thus includes [Shape]).