MonadPlus laws:
left zero: +++ OK, passed 500 tests.
left identity: +++ OK, passed 500 tests.
right identity: +++ OK, passed 500 tests.
associativity: *** Failed! Falsified (after 17 tests and 5 shrinks):
PAct ([] +-> PAct ([] +-> PVal 15))
PAct ([] +-> PAct ([] +-> PAct ([] +-> PAct [-1,-12,6,15,11,13,-4,-11,-1,4,16,-5,-9,-6,-6] [(PAct [9] [],"\SOH_e\SOH<q\260334")])))
PAct [-6,-5,-1,-4,12,8] [(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-16)))),"\GS\483678"),(PAct ([] +-> PAct ([] +-> PAct [] [])),"ae\DC1\roSB\DC3\312652\939748o1R/"),(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-5)))),"O")]
"B"
left distribution: *** Failed! Falsified (after 3 tests and 2 shrinks):
PAct ([] +-> PVal 1)
PAct ([] +-> PAct [] [])
<function>
""
""
