Slide "Type signature examples"