T8455.hs 62 Bytes
Newer Older
1 2 3 4 5
{-# LANGUAGE DataKinds #-}

module T8455 where

ty = [t| 5 |]