Explicit instances