Create Idris exercise foldr
add function unification test