An Idris clone of Rogue