module Data.Char_Type(Char, String) where
import Primitives
import Data.List_Type

type String = [Char]