The function `addCheck` resides within the attrset `types`. We should be explicit about this since otherwise people might be confused where it does come from / why it doesn't work for them.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.