typecheck is maden available via mirror