{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}

module T8455 where

ty = [t| 5 |]