Fixes #4161. Extracted mkNo to a top-level function for performance improvements
Fixes #4161. Extracted mkNo to a top-level function for performance improvements

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev