> For example, Garden of Eden patterns are excluded from this category.
That seems to be naturally true, since they by definition cannot be constructed. Are there other patterns that cannot be constructed by a universal constructor, or are all such patterns non-constructible?
That seems to be naturally true, since they by definition cannot be constructed. Are there other patterns that cannot be constructed by a universal constructor, or are all such patterns non-constructible?