== -package:foundation -package:smallcheck is:exact package:base

A type family to compute Boolean equality.