module Prelude where type String = [Char]