diff --git a/fluid-idl.cabal b/fluid-idl.cabal
--- a/fluid-idl.cabal
+++ b/fluid-idl.cabal
@@ -1,9 +1,9 @@
--- This file has been generated from package.yaml by hpack version 0.17.0.
+-- This file has been generated from package.yaml by hpack version 0.17.1.
 --
 -- see: https://github.com/sol/hpack
 
 name:           fluid-idl
-version:        0.0.1
+version:        0.0.2
 synopsis:       Fluid | The Programmatic IDL
 description:    Fluid | The Programmatic IDL
 category:       Web
diff --git a/library/Fluid/Server/Expr.hs b/library/Fluid/Server/Expr.hs
--- a/library/Fluid/Server/Expr.hs
+++ b/library/Fluid/Server/Expr.hs
@@ -770,32 +770,41 @@
 mapListExpr = Expr'Fn . Fn $ \args ->
   case args of
     (_:[]) -> runtimeThrow RuntimeError'TooFewArguments
-    [Expr'Fn (Fn f), Expr'List (List list)] -> Expr'List . List <$> mapM (f . (:[])) list
+    [Expr'Fn (Fn f), Expr'List (List list)] -> go f list
+    [Expr'Fn (Fn f), Expr'Val (Val'List list)] -> go f (map Expr'Val list)
     (_:_:[]) -> runtimeThrow RuntimeError'IncompatibleType
     _ -> runtimeThrow RuntimeError'TooManyArguments
+  where
+    go f list = Expr'List . List <$> mapM (f . (:[])) list
 
 filterListExpr :: RuntimeThrower m => Expr m
 filterListExpr = Expr'Fn . Fn $ \args ->
   case args of
     (_:[]) -> runtimeThrow RuntimeError'TooFewArguments
-    [Expr'Fn (Fn f), Expr'List (List list)] -> Expr'List . List <$>
-      filterM
-      (\x -> do
-        res <- f [x]
-        case res of
-          Expr'Val (Val'Prim (Prim'Bool b)) -> return b
-          _ -> runtimeThrow RuntimeError'IncompatibleType) -- Bool
-      list
+    [Expr'Fn (Fn f), Expr'List (List list)] -> go f list
+    [Expr'Fn (Fn f), Expr'Val (Val'List list)] -> go f (map Expr'Val list)
     (_:_:[]) -> runtimeThrow RuntimeError'IncompatibleType
     _ -> runtimeThrow RuntimeError'TooManyArguments
+  where
+    go f list = Expr'List . List <$>
+      filterM
+        (\x -> do
+          res <- f [x]
+          case res of
+            Expr'Val (Val'Prim (Prim'Bool b)) -> return b
+            _ -> runtimeThrow RuntimeError'IncompatibleType) -- Bool
+        list
 
 reduceListExpr :: RuntimeThrower m => Expr m
 reduceListExpr = Expr'Fn . Fn $ \args ->
   case args of
     (_:[]) -> runtimeThrow RuntimeError'TooFewArguments
-    [Expr'Fn (Fn f), a, Expr'List (List list)] -> foldlM (\x y -> f [x, y]) a list
+    [Expr'Fn (Fn f), a, Expr'List (List list)] -> go f a list
+    [Expr'Fn (Fn f), a, Expr'Val (Val'List list)] -> go f a (map Expr'Val list)
     (_:_:[]) -> runtimeThrow RuntimeError'IncompatibleType
     _ -> runtimeThrow RuntimeError'TooManyArguments
+  where
+    go f a list = foldlM (\x y -> f [x, y]) a list
 
 i8Expr :: RuntimeThrower m => (Int8 -> Int8 -> Int8) -> Expr m
 i8Expr op = Expr'Fn . Fn $ \args ->
diff --git a/package.yaml b/package.yaml
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name: fluid-idl
-version: '0.0.1'
+version: '0.0.2'
 category: Web
 synopsis: Fluid | The Programmatic IDL
 description: Fluid | The Programmatic IDL