top level aliased seq can be mappings