printFn vars [(BoolVar value)] =
    do print value
       return vars
printFn vars [(BoolVar value)] =
    do print value
       return vars
printFn vars [(BoolVar value)] =
    do print value
       return vars