module test

class Test sds
where
	ttest :: sds -> (String, String)

:: ADT = E. sds: ADT (String sds -> Int) & Test sds

:: TestRecord = { bla2 :: ADT}

instance Test (String, String)
where
		ttest ss = ss

f :: (String, TestRecord)
f = ("jaja", {TestRecord| bla2 =ADT \s sds -> 18})

Start = case f of
	("jaja", {bla2}) = case bla2 of
		(ADT ff) = ff "a" ("as", "bs")