prop_myButLast :: [Int] -> Int -> Property
prop_myButLast xs y = (length xs > 1) ==>
                    myButLast (xs ++ [y]) == last xs
prop_myButLast :: [Int] -> Int -> Property
prop_myButLast xs y = (length xs > 1) ==>
                    myButLast (xs ++ [y]) == last xs
prop_myButLast xs y = (length xs > 1) ==>
                    myButLast (xs ++ [y]) == last xs