ekmett / ekmett/adjunctions

Representable no longer works with GND

Open
#62 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
45
Forks
26
PR merge metrics
No merged PRs in 30d

Description

Two of the new methods are incompatible with newtype deriving.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by inspecting the implementation of the two new methods named in the issue and reproduce their interaction with Haskell newtype deriving and GND. Confirm the incompatibility, then verify that the affected methods work with newtype deriving without breaking existing behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
backend
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.