== -package:foundation -package:smallcheck -package:termonad package:base

A type family to compute Boolean equality.