== -package:hedgehog -package:gdp -package:classy-prelude package:base

A type family to compute Boolean equality.