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