david_reinstein comments on Pedant, a type checker for Cost Effectiveness Analysis