Some benchmarks for Idris