:: Bool -> a -> a -> a package:basement

for support of if .. then .. else