ekmett / ekmett/transformers-compat

Seems there are no Typeable1 Compose (GHC-7.4)

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

Description

Neither `Typeable1 Product`

Also with GHC-7.6

`transformers-0.5.6.2` uses `AutoDeriveTypeable` GHC >=7.8
https://hackage.haskell.org/package/transformers-0.5.6.2/src/legacy/pre711/Data/Functor/Compose.hs

---

Oh, is it because

```
Can't make a derived instance of `Typeable1 (Compose f g)':
`Compose' must only have arguments of kind `*'
In the stand-alone deriving instance for `Typeable1 (Compose f g)'
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by comparing the compatibility implementation with the referenced legacy Data/Functor/Compose.hs from transformers-0.5.6.2, then reproduce the reported behavior under GHC 7.4 and 7.6. Done means confirming whether Typeable1 Compose support is missing and ensuring the relevant compatibility tests pass on the affected compiler versions.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.