1 2 3 4 5 6 7 8 9
{-# LANGUAGE TemplateHaskell #-} module TTT where a :: () a = let () = () in () b :: () b = let $([p|()|]) = () in ()