diff --git a/test-elisp/inp.hs b/test-elisp/inp.hs
new file mode 100644
index 0000000..d6453c0
--- /dev/null
+++ b/test-elisp/inp.hs
@@ -0,0 +1,21 @@
+module Main where
+
+test1 :: Int
+
+test2 :: a -> a -> Complex a
+test2 = (:+)
+
+test25 :: NFData a => a
+test25 = undefined
+
+test3 :: (b -> b -> c) -> (a -> b) -> a -> a -> c
+test3 = on
+
+test4 = putStrLn "Bar"
+
+test5 :: [t] -> ()
+test5 (_:_) = ()
+
+-- hlint
+test6 :: [Integer] -> [Integer]
+test6 = map (+ 1) . map (* 2)
diff --git a/test-elisp/out.hs b/test-elisp/out.hs
new file mode 100644
index 0000000..b18e6eb
--- /dev/null
+++ b/test-elisp/out.hs
@@ -0,0 +1,28 @@
+module Main where
+
+import Control.DeepSeq (NFData)
+import Data.Complex (Complex((:+)))
+import Data.Function (on)
+
+test1 :: Int
+test1 = undefined
+
+test2 :: a -> a -> Complex a
+test2 = (:+)
+
+test25 :: NFData a => a
+test25 = undefined
+
+test3 :: (b -> b -> c) -> (a -> b) -> a -> a -> c
+test3 = on
+
+test4 :: IO ()
+test4 = putStrLn "Bar"
+
+test5 :: [t] -> ()
+test5 (_:_) = ()
+test5 _ = error "test5"
+
+-- hlint
+test6 :: [Integer] -> [Integer]
+test6 = map ((+ 1) . (* 2))