1{-# LANGUAGE TemplateHaskell #-}
2x = [d| f :: a -> Int
3        f x = 1 |]
4
5y = [d| f2 :: a -> Int; f2 x = 1 |]
6