I enjoyed the talk, thank you. The part about "lifting" a type was an 'aha' moment for me and now I understand!*. I mean, I did this intuitively, but now I kn

I enjoyed the talk, thank you. The part about "lifting" a type was an 'aha' moment for me and now I understand!*. I mean, I did this intuitively, but now I know the name of the technique, which is really good. Thank you, I've learned something new today!