<= is:exact package:base set:included-with-ghc

Comparison (<=) of comparable types, as a constraint.