if True then Bool else Natural