== -package:hmatrix -package:shake -package:typenums package:base

A type family to compute Boolean equality.