{-# LANGUAGE TemplateHaskell #-}

[| f :: $ty |]

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