feat: Generic Boundedness, this was something I tried

java-classfile.cabal

@@ -25,14 +25,18 @@ source-repository head
 
 library
   exposed-modules:
+      Data.Bounded.Generic
       Data.Hex
       Language.Java.Classfile
+      Language.Java.Classfile.ClassFlag
       Language.Java.Classfile.ConstantPool
       Language.Java.Classfile.ConstantPool.Entry
       Language.Java.Classfile.ConstantPool.References
       Language.Java.Classfile.Extract
       Language.Java.Classfile.Extractable
       Language.Java.Classfile.Extractable.WithTag
+      Language.Java.Classfile.Flag
+      Language.Java.Classfile.Flags
       Language.Java.Classfile.FromBigEndian
       Language.Java.Classfile.Magic
       Language.Java.Classfile.Version
@@ -47,6 +51,7 @@ library
       array
     , base >=4.7 && <5
     , bytestring
+    , containers
     , text
   default-language: Haskell2010
 
@@ -63,6 +68,7 @@ executable java-classfile-exe
       array
     , base >=4.7 && <5
     , bytestring
+    , containers
     , java-classfile
     , text
   default-language: Haskell2010
@@ -81,6 +87,7 @@ test-suite java-classfile-test
       array
     , base >=4.7 && <5
     , bytestring
+    , containers
     , java-classfile
     , text
   default-language: Haskell2010

package.yaml

@@ -23,6 +23,7 @@ dependencies:
 - array
 - base >= 4.7 && < 5
 - bytestring
+- containers
 - text
 
 ghc-options:

src/Language/Java/Classfile.hs

@@ -8,9 +8,10 @@ import Language.Java.Classfile.Extractable (Extractable)
 import Language.Java.Classfile.ConstantPool (ConstantPool)
 
 data Classfile = Classfile
-  { magic :: Magic
-  , version :: Version
+  { magic        :: Magic
+  , version      :: Version
   , constantPool :: ConstantPool
+  , accessFlags  :: AccessFlags
   }
   deriving stock (Show, Generic)
   deriving Extractable via Generically Classfile