par is:module package:safe

ConstraintKind synonym for marking partial functions