Skip to content

Functor deriving should support quantified arguments of a constructor #3232

@LiamGoodacre

Description

@LiamGoodacre

Functor T1 fails to derive in the following:

data T0 a = T0 (Unit -> a)
derive instance functorT0 :: Functor T0

data T1 a = T1 (forall t. t -> a)
derive instance functorT1 :: Functor T1

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions