:: Bool -> a -> a -> a package:overhang

Hang on the True case of bool.
onTrue b f t = bool f t b
Hang on the False case of bool.
onFalse b t f = bool f t b