@@ -42,8 +42,8 @@ constrain env pattern tipe =
4242
4343 PData name patterns -> do
4444 (kind, cvars, ctipe) <- freshDataScheme env name
45− tipe' <- foldr (==>) tipe <$> mapM (\_ -> VarN <$> flexibleVar) [1..kind]
46− let tvars = map VarN cvars
45+ tvars <- mapM (\_ -> VarN <$> flexibleVar) [1..kind]
46+ let tipe' = foldr (==>) tipe tvars
4747 msg = concat [ "Constructor '", name, "' expects ", show kind
4848 , " argument", if kind == 1 then "" else "s"
4949 , " but was given ", show (length patterns), "." ]