Add `replaceWhen` for lists. (#755)
Add `replaceWhen` for lists. (#755)


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