<: a :>. Jelikož při používání <: a :>
může za určitých okolností docházet ke ztrátám relevantních
výsledků, umožňuje tento mód zkrácené vyhodnocení zablokovat.
Všechny varianty kombinátoru alternativní kompozice se potom
chovají jako <:> -- seznam úspěšných rozkladů tedy není ořezáván
a lze určit, zda použití <: resp. :> bylo chybné
či ne. Parametr 'ndet', který
blokuje zkrácené vyhodnocení nebo 'alt', jež zachovává výpočtu
jeho původní charakter.