{-# LANGUAGE TemplateHaskell #-}

foo   = [|      foo bar
  |]

foo = [e| foo bar
  |]

foo = [t|       Char |]

foo = [|| foo bar
  ||]

foo = [t| * |]

foo = [t|a -> * -> a|]