[omit]
Exchange<'A, 'B, 'S, 'T>
dimap' ab cd p
'a -> 'b
'c -> 'd
'b -> 'c
'a -> 'd
getAll arg1
All
bool
getAny arg1
Any