precedencegroup ResultKMonadicPrecedenceRight {
    associativity: right
    lowerThan: LogicalDisjunctionPrecedence
    higherThan: AssignmentPrecedence
}

precedencegroup ResultKMonadicPrecedenceLeft {
    associativity: left
    lowerThan: LogicalDisjunctionPrecedence
    higherThan: AssignmentPrecedence
}

precedencegroup ResultKApplicativePrecedence {
    associativity: left
    higherThan: LogicalConjunctionPrecedence
    lowerThan: NilCoalescingPrecedence
}

infix operator >>- : ResultKMonadicPrecedenceLeft
infix operator -<< : ResultKMonadicPrecedenceRight

infix operator <^> : ResultKApplicativePrecedence
infix operator <*> : ResultKApplicativePrecedence

precedencegroup MonadicPrecedenceRight {
    associativity: right
    lowerThan: LogicalDisjunctionPrecedence
    higherThan: AssignmentPrecedence
}

precedencegroup MonadicPrecedenceLeft {
    associativity: left
    lowerThan: LogicalDisjunctionPrecedence
    higherThan: AssignmentPrecedence
}

precedencegroup ApplicativePrecedence {
    associativity: left
    higherThan: LogicalConjunctionPrecedence
    lowerThan: NilCoalescingPrecedence
}

infix operator >>- : MonadicPrecedenceLeft
infix operator -<< : MonadicPrecedenceRight

infix operator <^> : ApplicativePrecedence
infix operator <*> : ApplicativePrecedence

--- 
+++ 
@@ -1,23 +1,23 @@
-precedencegroup MonadicPrecedenceRight {
+precedencegroup ResultKMonadicPrecedenceRight {
     associativity: right
     lowerThan: LogicalDisjunctionPrecedence
     higherThan: AssignmentPrecedence
 }
 
-precedencegroup MonadicPrecedenceLeft {
+precedencegroup ResultKMonadicPrecedenceLeft {
     associativity: left
     lowerThan: LogicalDisjunctionPrecedence
     higherThan: AssignmentPrecedence
 }
 
-precedencegroup ApplicativePrecedence {
+precedencegroup ResultKApplicativePrecedence {
     associativity: left
     higherThan: LogicalConjunctionPrecedence
     lowerThan: NilCoalescingPrecedence
 }
 
-infix operator >>- : MonadicPrecedenceLeft
-infix operator -<< : MonadicPrecedenceRight
+infix operator >>- : ResultKMonadicPrecedenceLeft
+infix operator -<< : ResultKMonadicPrecedenceRight
 
-infix operator <^> : ApplicativePrecedence
-infix operator <*> : ApplicativePrecedence
+infix operator <^> : ResultKApplicativePrecedence
+infix operator <*> : ResultKApplicativePrecedence
Add `ResultK` prefix to `precedencegroup`s
