URL details: unendli.ch/posts/2017-07-25-type_kindness.html
URL title:
unendlich - Type kindness
URL paragraphs:
In a previous article we saw type constructors for ADTs, and how they are not types themselves. These are Maybe and Either in Haskell again: data Maybe a = Nothing | Just a data Either a b = Left a | Right b The previous declaration for Maybe names a type
URL last crawled:
2023-01-10
URL speed:
407.000 MB/s,
downloaded in 0.001 seconds
We found no external links pointing to this url.