Loading juxt-mul.disco...
Loaded.
200
200
Error: the expression
  x
must have both a function type and also the incompatible type
  ℕ.
https://disco-lang.readthedocs.io/en/latest/reference/notcon.html
24
14
600
75
75
225
36
26
192
