Liam Goodacre

Newtyped Effect types with identical dictionaries don't benefit from MagicDo

1

#### Input ```purescript newtype E i = E (Effect i) derive newtype instance functorE :: Functor E derive newtype instance applyE :: Apply E derive newtype instance applicativeE :: Applicative...

InvalidInstanceHead - example has overlapping instances

4

On https://github.com/purescript/documentation/blob/master/errors/InvalidInstanceHead.md The instances `isHomogenousRowListImplReallyNonEmpty` and `isHomogenousRowListImplNonEmpty` are overlapping. I suggest making `isHomogenousRowListImplReallyNonEmpty` be more specific and match on `Cons _ _ (Cons _ _ _)`; or use an instance...

Rewrite the "Custom Type Errors" guide for 0.12

5

Based on the changes added here: https://github.com/purescript/purescript/pull/3298 Roughly: - New `Doc` kind - `TypeConcat` -> `Beside` - `TypeString` -> `Quote` - Symbol literal in message -> `Text` - New vertical...

Type synonym impossible to fully apply in type application

2

## Description Possible kind inference funkiness going on with synonyms in type applications. Using the same type expression in an annotation vs a type application works differently. ## To Reproduce...

Interesting comment placements in various scenarios

1

**Describe the bug** Here are a bunch of strange comment placements that I've noticed. **To Reproduce** ## Positive example This one looks good ### Input, & Output ```hs example =...

Add Chipped type

6

> "Traversable containers which hold Maybe are witherable." https://hackage.haskell.org/package/witherable-0.1.3.3/docs/Data-Witherable.html#t:Chipped

Feature request: Display transitive dependency versions

9

Currently (v0.2.3.0) only the versions of immediate dependencies are listed.

For example: https://github.com/ndmitchell/hlint/blob/752baba987f61d3d3778751f2709293521841e0c/hints.md?plain=1#L1882 I would have expected this to be: ```html Use < ```

### firefox (133) fetch ```typescript fetch("/path", { headers: [["A", "B"], ["C", "D"] }) ``` results in the following headers on the request: ``` A: B C: D ``` ### whatwg-fetch...