List-level quantifier conversion to element-level and vice-versa
List-level quantifier conversion to element-level and vice-versa

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