úÎ ˜ ç    portable provisionalEdward Kmett <ekmett@gmail.com> When a is unevaluated,  g a% evaluates the current continuation  with g while testing if g   a%, if they differ, it re-evalutes the  continuation with a. If a, was already evaluated, the continuation is  just directly applied to a instead. As per ;, without the check for whether or not the second argument  is already evaluated. spec* with a user supplied comparison function spec'* with a user supplied comparison function spec'* with a user supplied comparison function spec'* with a user supplied comparison function          speculation-transformers-0.1$Control.Monad.Trans.Cont.Speculationspecspec'specByspecBy'specOnspecOn'specSTMspecSTM' specOnSTM specOnSTM' specBySTM specBySTM'base GHC.Classes==