he random variable at a specific domain point of a family.">AtCoord</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="RandomVar$$Elem.html" title="" class="class"></a><a href="RandomVar$$Elem.html" title="">Elem</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="RandomVar$$SimpleFamily.html" title="convenience class to avoid {{HNil}}" class="class"></a><a href="RandomVar$$SimpleFamily.html" title="convenience class to avoid {{HNil}}"