I found no difference for REPL/compiler: #|kawa:1|# (define s1 :: String "sss") #|kawa:2|# (define s2 :: <String> "sss") or any other use of a class. They are present? -- WBR, Yaroslav Kavenchuk.