1{-# LANGUAGE TemplateHaskell #-}
2
3[| f :: $ty |]
4[| f :: $(fun ty) |]
5