Fix argument syntax to match what Idris actually wants