Sorted modules