IO Type for Android + modern, functional UI language - View it on GitHub