diff --git a/src/Rlp/HindleyMilner.hs b/src/Rlp/HindleyMilner.hs
index c950ef9..7b72730 100644
--- a/src/Rlp/HindleyMilner.hs
+++ b/src/Rlp/HindleyMilner.hs
@@ -207,7 +207,7 @@ typeCheckRlpProgR :: (Monad m)
 typeCheckRlpProgR p = tc p
   where
     g = buildInitialContext p
-    tc = liftHM . traverse (infer' g) . etaExpandAll
+    tc = liftHM . traverse (solve' g) . etaExpandAll
     etaExpandAll = programDecls . each %~ etaExpand
 
 etaExpand :: Decl b (RlpExpr b) -> Decl b (RlpExpr b)