reference to recursive types