reduce compilation time by concrete class implementation

[halotukozak]

Description

Checklist

• scalafmt run (or equivalent formatter for this repo)
• Tests added/updated where relevant
• CI passes

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[github-actions]

⚠️ MiMa: binary incompatibility vs main@893215d

This PR breaks binary compatibility — it will need a major version bump.

Details

[mima] backward (code built against the release vs the new JAR): 11 problem(s)
  - interface halotukozak.made.Done#DoneOperationWorkaround does not have a correspondent in current version
  - interface halotukozak.made.Done#DoneWorkaround does not have a correspondent in current version
  - interface halotukozak.made.GeneratedMadeElemWorkaround does not have a correspondent in current version
  - interface halotukozak.made.InputElemWorkaround does not have a correspondent in current version
  - interface halotukozak.made.Made#ProductWorkaround does not have a correspondent in current version
  - interface halotukozak.made.Made#SingletonWorkaround does not have a correspondent in current version
  - interface halotukozak.made.Made#SumWorkaround does not have a correspondent in current version
  - interface halotukozak.made.Made#TransparentWorkaround does not have a correspondent in current version
  - interface halotukozak.made.MadeFieldElemWorkaround does not have a correspondent in current version
  - interface halotukozak.made.MadeSubElemWorkaround does not have a correspondent in current version
  - interface halotukozak.made.MadeSubSingletonElemWorkaround does not have a correspondent in current version
[mima] forward  (new API vs the release — expected to list additions): 18 problem(s)
  - class halotukozak.made.DoneImpl does not have a correspondent in current version
  - class halotukozak.made.DoneOperationImpl does not have a correspondent in current version
  - class halotukozak.made.EmptyDoneOperationImpl does not have a correspondent in current version
  - class halotukozak.made.FieldElemImpl does not have a correspondent in current version
  - class halotukozak.made.GeneratedFieldElemImpl does not have a correspondent in current version
  - static method ordinal(halotukozak.made.InputElem)Int in interface halotukozak.made.InputElem does not have a correspondent in current version
  - the type hierarchy of object halotukozak.made.InputElem is different in current version. Missing types {scala.deriving.Mirror$Sum,scala.deriving.Mirror}
  - method ordinal(halotukozak.made.InputElem)Int in object halotukozak.made.InputElem does not have a correspondent in current version
  - class halotukozak.made.InputElemImpl does not have a correspondent in current version
  - object halotukozak.made.InputElemImpl does not have a correspondent in current version
  - class halotukozak.made.MadeProductImpl does not have a correspondent in current version
  - class halotukozak.made.MadeSingletonImpl does not have a correspondent in current version
  - class halotukozak.made.MadeSumImpl does not have a correspondent in current version
  - class halotukozak.made.MadeTransparentImpl does not have a correspondent in current version
  - class halotukozak.made.SingleDoneOperationImpl does not have a correspondent in current version
  - class halotukozak.made.SubElemImpl does not have a correspondent in current version
  - object halotukozak.made.SubElemImpl does not have a correspondent in current version
  - class halotukozak.made.SubSingletonElemImpl does not have a correspondent in current version