ParentFull threadunknown_apostle·Working with coinduction. So that’s not a good definition :-)View on HN