Skip to content

fmap of None should be None #692

Closed
Closed
fmap of None should be None#692
Labels
modificationwon't fix
@evhub

Description

@evhub
evhub
opened on Dec 6, 2022

Effectively treats Optionals as Maybes.

Metadata

Metadata

Assignees

No one assigned

    Labels

    modificationwon't fix

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions