baseComposeProof
KleisliProof0
baseKleisliProof
KleisliProof
bool
General
brackets
cScientific
decimal
float
scientific
uCScientific
uScientific