LectronPusher

    -- declare an operator function with underscores:
    if_then_else_ : {A : Set} -> Bool -> A -> A -> A
    -- define the function:
    if true then x else y = x
    if false then x else y = y
    -- call it:
    if_then_else_ cond first second
    -- or use it infix:
    if cond then first else second
    -- or partially apply "sections" of the operator:
    -- this is really cool
    (if_then first else second) cond
    (if cond then_else second) first
    if cond then first else_ second
    if cond then_else_ first second
    if_then first else_ cond second
    (if_then_else second) cond first