Description

The interface for recoverable types.