@@ -104,12 +104,14 @@ toDecls [ValueDeclaration ident nameKind bs (Right val)] | all isVarBinder bs =
104104 isVarBinder NullBinder = True
105105 isVarBinder (VarBinder _) = True
106106 isVarBinder (PositionedBinder _ _ b) = isVarBinder b
107+ isVarBinder (TypedBinder _ b) = isVarBinder b
107108 isVarBinder _ = False
108109
109110 fromVarBinder :: Binder -> m Ident
110111 fromVarBinder NullBinder = Ident <$> freshName
111112 fromVarBinder (VarBinder name) = return name
112113 fromVarBinder (PositionedBinder _ _ b) = fromVarBinder b
114+ fromVarBinder (TypedBinder _ b) = fromVarBinder b
113115 fromVarBinder _ = error "fromVarBinder: Invalid argument"
114116toDecls ds@(ValueDeclaration ident _ bs result : _) = do
115117 let tuples = map toTuple ds