Errors

Each element of a list must be of the same type. Type

[1,false]

into Hope. The result is an error message

  
[1, false]
  (::) : alpha # list alpha -> list alpha
  1 : num
  [false] : list bool
type error - argument has wrong type