Remove limited imports in non-library code
Make getFile available, use it correctly
Omit type variable in Api synonym

Type variables cannot be partially applied, so Api cannot be used as an
underlying monad in additional levels of transformer. Removing the type
variable from both sides is equivalent and Allows it to be used without
supplying that argument.
Add Sync monad, a ReaderT for Options