Among others, systemd unit options were not being type-checked because of this. mkOption should really check its arguments better...