type Hi :: *
data Hi