misleading error message: "no matching operator for the parameters type" when the real issue is the return type

[namasikanam]

require import AllCore FSet List.

op choose (s : int fset) : int fset =
  List.filter (fun (i : int) => i \in s) [1;2;3].

Hi, when I try the following definition, I got the error message below.

no matching operator, named `List.filter', for the following parameters' type:
  [1]: int -> bool
  [2]: int list

However, the real issue here is the resulting type of the required operation is a int fset while List.filter returns int list.

[oskgo]

This is a duplicate of #825