1. 12
  1. 2

    This is a case where you need to read the comments. Linear/affine types get a mention.