Double fixity/priority definition of `>>` in a single file was removed
Double fixity/priority definition of `>>` in a single file was removed

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