abstract Fruit = {
    cat Fruit ;
    fun Apple, Peach : Fruit ;
}