Recursive data types for reference types only