Generation of algebraic data type values using evolutionary algorithms - I Ballesteros; C Benac-Earle; J Mariño; LÅ Fredlund; Á Herranz (Journal Of Logical And Algebraic Methods In Programming, 2025)