@@ -50,7 +50,7 @@ test str =
51constrain :: Env.Environment -> LExpr a b -> Type -> IO TypeConstraint
51constrain :: Env.Environment -> LExpr a b -> Type -> IO TypeConstraint
52constrain env (L _ _ expr) tipe =
52constrain env (L _ _ expr) tipe =
53− let list t = TermN (App1 (Env.get env Env.types "_List") t) in
53+ let list t = Env.get env Env.types "_List" <| t in
54 case expr of
54 case expr of
55 Literal lit -> Literal.constrain env lit tipe
55 Literal lit -> Literal.constrain env lit tipe