== -package:hedgehog -package:LambdaHack -package:basement package:base

A type family to compute Boolean equality.