gistfile1.txt

-- available methods
record Method where
  constructor MkMethod
  name : String
  args : Type
  {prf : So (not $ "rpc." `isPrefixOf` name)}
  
-- I'd like to be able to write
gorb : Method
gorb = MkMethod "foo" ()

-- but because I don't have auto in Method I have to write
gorb : Method
gorb = MkMethod "foo" () {prf = Oh}

-- even this is not finding Oh
gorb : Method
gorb = MkMethod "foo" () {prf = _}