Search
❯
Mar 18, 20261 min read
data Either a b = Left a | Right b > :kind Either Either :: * -> * -> *