[pro] Phylosophical question on "syntactic" constructors