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