module Prelude where

data Bool = False | True

not False = True
not True = False

data [] a = [] | a : [a]

map f [] = []
map f (x:xs) = f x:map f xs

null [] = True
null _ = False

--b::Bool
b = null []

id = \ x -> x

const x y = let z = False in x

type B = Bool