2048 in Idris