== -package:ghc package:protolude

A type family to compute Boolean equality.