== package:typenums

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