This can't actually be used. It's here because IOLambda demands an Encoder for its result type, which should be Nothing when no output is desired. Userland code will return an Option[Nothing] which is only inhabited by None, and the encoder is only used when the userland code returns Some.