@zyang I think there should be, yes! Do you have some inkling for why the Maybe poses a challenge? I may be able to help. Is it to do with folds for nested data types?
=> More informations about this toot | View the thread | More toots from zanzi@mathstodon.xyz
=> View zyang@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).