FamInst.lhs 12.2 KB