module Data.Char where

postulate Char : Set

{-# BUILTIN CHAR Char #-}