Idris.DataOpts
applyOpts