有没有办法在Java中实现代数类型？

在Java中,是否有可能强制某个类具有一组特定的子类而没有其他子类？例如:

public abstract class A {}
public final class B extends A {}
public final class C extends A {}
public final class D extends A {}

我可以以某种方式强制执行不能创建A的其他子类吗？