1 2 3 4 5 6 7 8 9
{-# LANGUAGE TemplateHaskell, ExplicitForAll #-} module Main where import TH_ExplicitForAllRules_a $(decls) main = hsToTh