They have pragmatic uses in Java to enforce / comm...

# announcements

[fellshard]

They have pragmatic uses in Java to enforce / communicate usage contracts, though, and to protect the abstraction from its users.