Type inference failed:
fun <T> foo ( l: jet.List<T> ) : jet.Unit
cannot be applied to
( jet.Int )