[curried_haskell]

Google has root on your phone. Even if they aren't "for now", good security sense says that we should assume that are.