error: type 'Make' is not visible; #import the module that declares it
  --> examples/0770-modules-type-fn-head-non-transitive.sx:21:32
   |
21 |     print("size={}\n", size_of(Make(i64)));
   |                                ^^^^
