Error: the expression
  λx : ℤ. x
must have both a function type and also the incompatible type
  List(ℤ).
https://disco-lang.readthedocs.io/en/latest/reference/notcon.html