diff --git a/nixos-modules/hardware.nix b/nixos-modules/hardware.nix
index ee1a872..ada37d1 100644
--- a/nixos-modules/hardware.nix
+++ b/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
                       }
               }
       '';