On Tue, May 12, 2015 at 1:42 PM, Roelof Wobben <r.wobben@home.nl> wrote:

-- | The main entry point.
last' :: [a] -> a
last' [x] = x
last' (x:xs) = last xs

Notice that the last line does no recursion: it invokes the Prelude's definition of last.

-- Kim-Ee