README: tools described, hayoo in ghci