[chombier]

> not actual runtime variables/parameters/return types/struct fields.

Is it possible to church-encode these with Go generics?

[tsimionescu]

Yes, probably, but I'm not sure that would be very ergonomic (I don't think you'd want to use it for something like Optional), if I understand correctly how it would work.