type Hello :: *
data Hello = ...