Durchschieberegeln

(x&) |> lift1 f = lift1 f |> ((f x) &) für striktes f , d.h. f bot = bot
((x&) ||| (y&)) |> lift2 g = lift2 g |> ((g x y)&) für striktes g , d.h. g bot bot = bot