[Idris] Support