Searchable: add the `in` utility function
Comparable: add the `comparing` helper function
List: add `span`, `group` and `group_by`
Integral: consider specifying its type