module test;

import lib/test;

fn main[test (Int, Int)] Int = 42;

fn test[b Int] Int = {
  fn helper[] Int = b;
  20 * helper[];
};

fn size[vals List{Int}] Int = vals.size[];