billing is a chronological typesystem and is only hard to build because most languages don't offer time-safe types (and because municipalities don't expose the

billing is a chronological typesystem and is only hard to build because most languages don't offer time-safe types (and because municipalities don't expose their tax rules as types)