Idris.DataOpts

applyOpts