3 ms·Thanks for clarifying, I haven’t studied co-inductive types yet.by sadfev 5y agoThanks for clarifying, I haven’t studied co-inductive types yet.