First working version, test.txt with ghci log of test.