In a moment of weakness, I had the thought "I wonder if ChatGPT can help me write the intro to this paper", fed it a prompt, and got a few variations of the introduction to every "how to [type theory thing] in Scala" blog post glad i solved that mystery