IO types are hard