mkColour :: Color -> IdrisColour
mkColour c = IdrisColour (Just c) True False False False
mkColour :: Color -> IdrisColour
mkColour c = IdrisColour (Just c) True False False False
mkColour c = IdrisColour (Just c) True False False False