error type int solvec => error type 'a list line 56