Skip to content

Provide cheap coercions over functors #10

Open
@natefaubion

Description

@natefaubion

Something like

unwrapF :: forall f a b. (Functor f, Newtype a b) => f a -> f b
unwrapF = unsafeCoerce

Metadata

Metadata

Assignees

No one assigned

    Labels

    status: needs more infoThis issue needs more info before any action can be done.type: enhancementA new feature or addition.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions