sub infix:ile($a is bool, $b is bool) is tigheter(==) {
 $a == $b
}