1:8-15 TModule "TRecord"
4:6-9 TTypeConstructor "Foo"
4:12-15 TDataConstructor "Foo"
4:18-21 TRecordField "foo"
4:25-28 TTypeConstructor "Int"