Falk Lieder comments on Pedant, a type checker for Cost Effectiveness Analysis