fixed type signature distance on bools