Get better error messages and improve mode crossing for types - View it on GitHub