Expect With Typeclasses

[ghost]

(:str ( (str string?) (str length 1 ==) ) &&) 'char typeclass   ; I defined in 'stypes.min' file

"a" (*stypes/type:char) expect puts         ; <--ERROR

Error:

(!) src\base.min(7,30) [expect]: Incorrect values found on the stack:      
- expected: *stypes/type:char expect
- got:      string expect
    src\base.min(7,30) in symbol: expect

[ghost]

Could we declare using typeclass as validating at expect, type? keywords?

[ghost]

(Thinking 😃 ) ... I understand what happened: When we typing an value "abc" then it will be constructed as string. This rule isn't affected by special types. Okay. I must use a symbol that controls that it is proper for our own special types like char? or char-expect:

( symbol char-expect
  (char :value ==> char :result)
  (value @result)
) ::

"a" char-expect puts ; Screen: "a"
 1   char-expect puts ; Screen: <ERROR will be printed>