Fixed Encoder fold use summonAll

[takapi327]

Implementation Details

Make the error message at the time of the Encoder derivation easy to understand.

In addition, the use of erasedValue and summonFrom was changed because summonAll can be used to complete the process.

Pull Request Checklist

• Wrote unit and integration tests
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
• Code formatting by scalafmt (sbt scalafmtAll command execution)
• Add copyright headers to new files

References