As hinted in https://github.com/docopt/docopt.hs/issues/24#issuecomment-153082237 there is currently no way to get a list out of options. There is `getAllArgs`, but it only works for positional arguments.