== -package:ghc -package:hedgehog package:base

A type family to compute Boolean equality.