data Color = Red | Blue | Yellow

data HaskellType = Unit | BuiltIn String
                 | Synonym String
                 | List HaskellType
                 | HaskellType `Arrow` HaskellType
                 | Tuple [HaskellType]
                 | Data String