"""Typed settings."""