deriveEq doesn't care about implicit arguments (not sure if intended)

[redfish64]

I don't know if this is intended behavior or not:

import Language.Elab.Deriving.Eq

%language ElabReflection

data XXX : Type where
  MkXXX : {a : Int} -> XXX

%runElab deriveEq Export `{{XXX}}

--returns True
testXXX : Bool
testXXX = MkXXX {a = 5} == MkXXX {a = 7}

[MarcelineVQ]

It was intended at first but probably shouldn't be, I'll change that in the near future.
Even Show should probably be showing implicits or have a choice of whether you derive a show that does or not.

I'm not quite sure what to do with auto-implicits just yet though, possibly https://github.com/david-christiansen/derive-all-the-instances has some hints