== -package:stack -package:faktory package:protolude

A type family to compute Boolean equality.