Mu now type-checking all function calls: https://mastodon.social/@akkartik/104366226332745069