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