`weakenN`'s `n` parameter was made to have zero quantity.
`weakenN`'s `n` parameter was made to have zero quantity.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm