:10:23: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a :11:24: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a :12:37: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a :15:19: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :16:20: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :19:20: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :19:24: error: Unknown type variable on the RHS of injectivity condition: a :20:21: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :20:25: error: Unknown type variable on the RHS of injectivity condition: a :21:35: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :21:39: error: Unknown type variable on the RHS of injectivity condition: a :24:1: error: [GHC-76037] Not in scope: type variable ‘c’ :25:1: error: [GHC-76037] Not in scope: type variable ‘c’ :26:23: error: [GHC-76037] Not in scope: type variable ‘c’ :34:1: error: [GHC-76037] Not in scope: type variable ‘c’ :35:1: error: [GHC-76037] Not in scope: type variable ‘c’ :36:23: error: [GHC-76037] Not in scope: type variable ‘c’ :39:33: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable :42:37: error: Unknown type variable on the RHS of injectivity condition: b