Data.These

data These a b

Functions to get rid of These

these

fromThese

mergeThese

mergeTheseWith

Traversals

here

there

Prisms

_This

_That

_These

Case selections

justThis

justThat

justThese

catThis

catThat

catThese

partitionThese

Case predicates

isThis

isThat

isThese

Map operations

mapThese

mapThis

mapThat