nixos-modules: annotate Init.Config.Policies

nixos-modules/hardware.nix

@@ -332,7 +332,7 @@ with lib;
                 , Init.ServiceRoute.parent "IO_PORT"
                 ]
               , config = Init.Config::{
-                , policies = [ ${toString policies} ]
+                , policies = [ ${toString policies} ] : List Init.Config.Policy.Type
                 }
               }
       '';
@@ -385,7 +385,7 @@ with lib;
                               ]
                             }
                         ]
-                      , policies = [ storagePolicy ]
+                      , policies = [ storagePolicy ] : List Init.Config.Policy.Type
                       }
               }
       '';