[ cleanup ] Small code cleanup, less mutual block and one `\case` use
[ cleanup ] Small code cleanup, less mutual block and one `\case` use

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