``mkCompletionProposal`` is running in the PC Thread. By executing ``getParamNames`` in the UI Thread you would violate thread-safety. I believe the only safe thing to do here is to wrap the rhs of the closure in an ``askOption``.