fixed dependent types to dependent families