== -package:foundation -package:shake -is:exact package:protolude

A type family to compute Boolean equality.