`(Boolean) -> String` is the function type
# getting-started
m
(Boolean) -> String
is the function type
a
menegatti: thanks brou