Implement the corecursor #11
Description
Currently the package only defines a recursor. This makes it impossible to have infinitely deep types. Defining the corecursor would fix that.
{{ message }}
Currently the package only defines a recursor. This makes it impossible to have infinitely deep types. Defining the corecursor would fix that.