Documentation. Exposed type families so that they could be documented to explain their occurence in the type of (*).