<p>ok here&#39;s dumb q #1 bc i haven&#39;t seen this before: lambda at the type level is a forall right</p><p>like in the families section that&#39;s just a forall right</p>