A small library of building blocks fortype-safe generic programming in Java. Born out of the realisation that most “generic” Java code drops toObject and casts back — and that this is largely fixable by leaning harder on the type system rather than around it.

What’s in the box

• Type witnesses for runtime generic introspection (working around erasure)
• Builder patterns that retain compile-time type information
• Composition helpers for functions, predicates and consumers
• Result / Either style utilities that compose withOptional andCompletableFuture

When it helps

• Library code that needs to expose generic APIs without forcing callers to cast
• Domain models where aMap<String, Object> would technically work but losing type info costs maintainability
• Glue code between strongly-typed Java and weakly-typed external sources (JSON, configs)

Documentation, releases and discussion live onGitHub.