Add exercises of chapter 03.

/cc @fabioyamate, @laurocaetano
ok, we just did the usual type notation from haskell