== -package:hmatrix -package:github -package:LambdaHack package:protolude

A type family to compute Boolean equality.