> is:exact package:base set:included-with-ghc

Comparison (>) of comparable types, as a constraint.