== -package:ghc -package:base-prelude package:protolude

A type family to compute Boolean equality.