par -package:HaTeX is:module package:safe

ConstraintKind synonym for marking partial functions