How to rewrite a function body in Idris so that the type corresponds to the function signature and whole thing compiles
How to rewrite a function body in Idris so that the type corresponds to the function signature and the whole thing compiles