Data.Options.Nested

type OptionN o i = Option o (Options i)

optN :: forall o i. String -> OptionN o i

Creates an option that takes Options i.

optionsToOptions :: forall i o. String -> Options i -> Options o

Builds an Options o from an Options i.