type instance MyFam Bool = String