Agda & Idris: support added