module Prelude where type ReadS a = String -> [(a,String)]