no I mean we would add the boilerplate needed like...
# arrow
r
no I mean we would add the boilerplate needed like we do with kinds when we say this is a EitherKind