fixup! [idris] Define flycheck checker