I'd prefer `Decoder.DecodeStep` here instead of the wildcard import (at least not wildcard)