The Hold interface allows one to trick the typescript compiler into holding onto type information that it would otherwise discard. This is useful when creating an interface that merges multiple type classes (see Flatmappable).