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