Preserve FAny info, remove FFunctionIO from Idris Prelude