[1mMain.hs:6.10:[1;31m error:[0m[1m
   • Associated type family 'Main.K' may only have one default instance!
   • In class 'C':
  [1;34m|[0m
[1;34m6[0m [1;34m| [0m    type [1;31mK[0m a a a = a
  [1;34m|[0m          [1;31m^[0m

[1mMain.hs:6.14:[1;31m error:[0m[1m
   • Argument 'a' used twice in default instance.
   • In class 'C':
  [1;34m|[0m
[1;34m6[0m [1;34m| [0m    type K a [1;31ma[0m a = a
  [1;34m|[0m              [1;31m^[0m

[1mMain.hs:6.16:[1;31m error:[0m[1m
   • Argument 'a' used twice in default instance.
   • In class 'C':
  [1;34m|[0m
[1;34m6[0m [1;34m| [0m    type K a a [1;31ma[0m = a
  [1;34m|[0m                [1;31m^[0m

