Idris.DataOpts

class Optimisable term

prel

applyDataOptRT