[1mMain.hs:12.19-20:[1;31m error:[0m[1m
   • Could not derive '[1;32mEq a[0m'[1m arising from a use of '[1;36m(==)[0m[1m' at Main.hs:12.19-20
   • In equation `reflexive2 ae  = x Data.Eq.== x`
   [1;34m|[0m
[1;34m12[0m [1;34m| [0mreflexive2 ae = x [1;31m==[0m x
   [1;34m|[0m                   [1;31m^^[0m

