Idris function getting pattern matching error on red black tree implementation

Question

I\'m working on a red black tree implementation in Idris. In this implementation, the node, in addition to carrying information about its value and colour, also carries informat