Hoogle.Operations.RankSolve
data Cmp