Currently in the AC solver, we can have something like 'a * … = 'a list * … as of today, a solution found by the system could associate 'a list to 'a which will be later rejected by occur check. A possible improvement could be to reject such solution earlier in the process.