:: Bool -> a -> a -> a package:Boolean