let
if_then a b = if_then_else a b nop