2v1 with Idris