| numbers ( Int,Integer,Rational,Float,Double)
0, 1, -1, ...
1.0, 2.0, 1.5, 0.6666, ...
a + b
a - b
negate x
a * b
abs x
fromInteger n
m % n
a ^ n
 | function definitions and where ( type -> type')
functionName x = ... x ...
functionName' y = ... name ... name' ...
  where {
    name = ... y ...;
    name' = ... y ... name ...
  }
 | 
| strings ( String)
"whatever"
s ++ t
show x
read s
 | lists ( [type])
map f l
[m .. n]
[a,b,c]
[]
k ++ l
 |