Hoogle can't find bisequence unless type constraints are specified

[Des333]

I searched for t (f a) (f b) -> f (t a b) and got:

No results found

If I add type constraints then everything works fine.
For (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b) result is:

bisequenceA :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)
bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

However such search request (without type constraints!) t a b -> (a -> f c) -> (b -> f d) -> f (t c d) gives expected result:

bifor :: (Bitraversable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f (t c d)
biforM :: (Bitraversable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f (t c d)

It seems that everything breaks here -- t (f a) (f b)

[head-gardener]

As can we can see from the --compare flag:

❯ cabal run hoogle -- "t (f a) (f b) -> f (t a b)" --compare="(Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)"
Query: t (f a) (f b) -> f (t a b)
Sig String: (t (f a) (f b)) -> (f (t a b))
Sig Name: (v1 (v2 v3) (v2 v4)) -> (v2 (v1 v3 v4))
Fingerprint: arity=1, terms=9, rarity=_ _ _

Answer 1: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)
Sig String: (Bitraversable t, Applicative f) => (t (f a) (f b)) -> (f (t a b))
Sig Name: (C50734 v1, C4294967265 v2) => (v1 (v2 v3) (v2 v4)) -> (v2 (v1 v3 v4))
Fingerprint: arity=1, terms=13, rarity=C50734 C4294967265 _
Cost: 1089
Explain: 999 term C50734 (0.00) missing, 50 term C4294967265 (1.00) missing, 40 terms 4 to add, 0 arity equal, 0 term in common _, 0 term in common _, 0 term in common _, 0 term in common _

the reason bisequense isn't included is because of the Bitraversable - [ ] (C50734) bein too rare. Adding it back into the query does return valid results.