separate using ghci lecture from lecture01.hs