Continuing with recursive fns - Haskell