T4201.stdout 116 Bytes
Newer Older
1 2 3
       Unfolding: (Eta.bof
                     `cast`
                   (Sym (Eta.NTCo:Foo[0]) -> Refl Eta.T)) -}