typed_probit
