Mixed idea on ‘fun name of recursive fun being defined’ and ‘macro to name of fun being defined’.