T8455.hs 78 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2 3 4 5
{-# LANGUAGE TemplateHaskell, DataKinds #-}

module T8455 where

ty = [t| 5 |]