== -package:rio -package:stack package:protolude

A type family to compute Boolean equality.