Partial maps based on countable types.