ill-rstt-packed-type-family.rzk

#lang rzk-1

#set-option "rstt-safe" = "error"
#def pack : Σ (F : U → U), Unit := ((\ A → A), unit)