@hongminhee Would it make sense to create a separate prompt helper library, possibly designed for use with optparse-applicative? What do you think?