Traits

Module for which a computation can fail.
Module for which a computation can fail.