update

bower.json

@@ -12,10 +12,10 @@
     "output"
   ],
   "dependencies": {
-    "purescript-record": "^2.0.1",
-    "purescript-typelevel-prelude": "^5.0.0"
+    "purescript-record": "^3.0.0",
+    "purescript-typelevel-prelude": "^6.0.0"
   },
   "devDependencies": {
-    "purescript-console": "^4.2.0"
+    "purescript-console": "^5.0.0"
   }
 }

shell.nix

@@ -0,0 +1,18 @@
+{ pkgs ? import <nixpkgs> { } }:
+let
+  easy-ps = import
+    (pkgs.fetchFromGitHub {
+      owner = "justinwoo";
+      repo = "easy-purescript-nix";
+      rev = "5716cd791c999b3246b4fe173276b42c50afdd8d";
+      sha256 = "1r9lx4xhr42znmwb2x2pzah920klbjbjcivp2f0pnka7djvd2adq";
+    }) {
+    inherit pkgs;
+  };
+in
+pkgs.mkShell {
+  buildInputs = [
+    easy-ps.purs
+    easy-ps.psc-package
+  ];
+}

src/Naporitan.purs

@@ -19,7 +19,7 @@ instance reflectRecordProxyInst ::
     where
       builder = reflectRecordProxyBuilder (RLProxy :: RLProxy rl)
 
-class ReflectRecordProxyBuilder (rl :: RL.RowList) (i :: # Type) (o :: # Type)
+class ReflectRecordProxyBuilder (rl :: RL.RowList Type) (i :: Row Type) (o :: Row Type)
   | rl -> i o where
   reflectRecordProxyBuilder :: RLProxy rl -> Builder { | i } { | o }