Rename Maybe to LazyOption #883
Description
Fits naming convention with LazyEither and makes the difference between Option and Maybe more plain.
{{ message }}
Fits naming convention with LazyEither and makes the difference between Option and Maybe more plain.