User blog comment:NT2001/2017 SML Ideas/@comment-30007562-20161230031725

This might actually be canon.