[deleted] comments on Pedant, a type checker for Cost Effectiveness Analysis