Could not we use `Code` here?