<- that causes typechecking to "run into a recu...
# getting-started
s
<- that causes typechecking to "run into a recursive issue" and I'm suggested to specify types explicitely