Beyond inductive datatypes: exploring Self types | Heykuki News