Defined in The identity carrier holds exactly one value of T always present The unit of the monadic family as a value no error channel no empty state one payload As trivial as T permits in copying moving assignment and destruction a structural type when T is one A copack payload is deliberately rejected dispatch granularity belongs to the engine uniform per payload so identity over a copack is spelled choice a choice payload stays legal an atom here as everywhere