From: Clark C . Evans <cce@cl...> - 2002-07-22 22:37:22
This is a bit unrelated, but I was thinking that the
whole name "type family" still sucks. Type is too generic,
but type family just doesn't quite make it for me. I
was thinking... how about calling this bugger a "vocabulary"?