Less TypeApplicationsHEADmaster

1 files changed, 1 insertions, 2 deletions

diff --git a/Main.hs b/Main.hs
index d1995e1..74b798d 100644
--- a/Main.hs
+++ b/Main.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE TypeApplications #-}
 module Main where
 
 import Foo
@@ -10,5 +9,5 @@ data T a = T a
 
 main :: IO ()
 main = do
-  let x = $$(foo @(T Int) [|| T 1 ||])
+  let x = $$(foo [|| T () ||])
   return ()