add (untested) support for map-type families