Maybe I need to start from creating an implementat...
# getting-started
g
Maybe I need to start from creating an implementation, because as is, it's at least clear to me that the type I'm consuming is a subset of the type being produced.