bynk.invariant.not_bool
must be `Bool`
