Comment about why change from faf56cc3bf was needed, and what are the consequences (regarding type aliasing).
faf56cc3bf