This approach leads to the expression problem with token constructors.