module PreludeLocal where
 
 {-#Prelude#-}  -- Indicates definitions of compiler prelude symbols
 
 infixr 5 :
 
 data Int = MkInt
 data Integer = MkInteger
 data Float = MkFloat
 data Double   = MkDouble
 data Char = MkChar
 data Bin = MkBin
 data List a = a : (List a) | Nil
 data Arrow a b = MkArrow a b
 
 data Triv = MkTriv