bottom type化に一気に行く前にとりあえずError, Equatable, Hashableを先にやったという感じ (edited)