module Data.Bool
(Var "&&",Value {args = 2, fixity = R, priority = 3, letBound = True, traced = False})
(Var "not",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "otherwise",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "||",Value {args = 2, fixity = R, priority = 2, letBound = True, traced = False})
(Con Data "Bool" "False",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Con Data "Bool" "True",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(TypeClass "Bool",TyCls (Ty ["False","True"] []))
