5 ttest :: sds -> (String, String)
7 :: ADT = E. sds: ADT (String sds -> Int) & Test sds
9 :: TestRecord = { bla2 :: ADT}
11 instance Test (String, String)
15 f :: (String, TestRecord)
16 f = ("jaja", {TestRecord| bla2 =ADT \s sds -> 18})
19 ("jaja", {bla2}) = case bla2 of
20 (ADT ff) = ff "a" ("as", "bs")