A data structure which can fold both parameters on P.
P
Readonly
Folds the data structure with function aFolder and bFolder by right associativity.
aFolder
bFolder
The function to reduce items for the first type parameter.
The value folded data.
data
A data structure which can fold both parameters on
P.