:l T5820
:i Foo
data T = T
:i Foo