{-# LANGUAGE TemplateHaskell #-}
module Main (main) where

[| f :: $ty |]

[| f :: $( fun ty ) |]