Не входит в область действия :конструктор данных

Я написал программу с haskell, но я получил ошибки от ghci

вот исходные коды, я создаю их, и если у меня есть

p1 :: Prop
p1 = And (Var 'A') (Not (Var 'A'))

это покажет A && ~Aтак что это исходные коды

import Data.List
import Data.Char
data Prop = Const Bool | 
        Var Char | 
        Not Prop | 
        And Prop Prop | 
        Or Prop Prop | 
        Imply Prop Prop
        deriving Eq
instance Show Prop where
  show (Var Char) = show Char
  show (Not Prop) = "(~" ++ show Prop ++ ")"
  show (And Prop Prop) = "(" ++ show Prop ++ "&&" ++ show Prop ++ ")"
  show (Or Prop Prop) = "(" ++ show Prop "||" ++ show Prop ++ ")"
  show (Imply Prop Prop) = "(" ++ show Prop "=>" show Prop ++ ")"

И я получил две основные ошибки от ghci...

Not in scope: data constructor `Char'
Not in scope: data constructor `Prop'

Я новичок в haskell, большое спасибо.