{-# LANGUAGE TemplateHaskell #-} import T9693 stuff