playing with idris