idris, font
too slow