In fun validate: missing type name after '[' at 1.pl line 13.