module Data.Type.TList where

data TNil = TNil
data a :*: b = a :*: b
infixr 5 :*:

-- vim: expandtab:tabstop=4:shiftwidth=4