so how can I say something like ` is () -> * `
# getting-started
s
so how can I say something like
is () -> *