== -package:hedgehog -package:quaalude -package:github package:base-compat-batteries

A type family to compute Boolean equality.