== -package:hmatrix -package:persistent -package:LambdaHack package:typenums

Equality constraint, used as e.g. (x == 3) => _
Boolean type-level equals. Useful for e.g. If (x ==? 0)