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

A type family to compute Boolean equality.