А в чем разница в случае кода или данных если в ФП все это функция то есть код, констант по определению нет и в случае данных это функция вычисляющая значение и ленивое вычисление дает возможность определить бесконечный список и не поймать себя в бесконечный цикл, так как данные определены будут при использовании, а до того это черный ящик, форма определена, подробности потом определятся, если нужно будет.
Так что структуры точно ленивые