Main.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module Main where

import Foo


data T a = T a
  deriving (Show)

main :: IO ()
main = do
  let x = $$(foo @(T Int) [|| T 1 ||])
  return ()