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