Felix Springer

`defaultLiftWith2` broken with ghc-9.0.1

4

Older ghc versions are working, but with ghc 9.0.1 this fails: https://travis-ci.com/github/jumper149/blucontrol/jobs/499404592#L486 ``` src/Blucontrol/Recolor/X.hs:36:14: error: • Couldn't match type: Monad (ReaderT Display m1) with: RecolorXT m1 b Expected: (Run RecolorXT...

Use elm-json from environment ($PATH?) instead of downloading it.

5

I would like to run `elm-review` in a nix expression, but `elm-review` will try to download `elm-json`, which is impure and therefore not allowed from within nix. Could `elm-review` use...

`AccumT` is a regular transformer and should have a regular `MonadAccum` instance.

6

I think this was accidentaly copy-pasted, see #140 . I don't see any problem with doing it this way. Maybe you can spot anything?

Add `((->) r')` as a base monad for `SelectT`.

11

`Identity` is the obvious choice, but we can pass arguments below `SelectT`. We should be able to even use arbitrary `ReaderT` stacks below `SelectT`. --- I'm not sure if there...

Lifting `MonadLogic` through transformers.

3

I am working on a library that tries to implement instances for a lot of mtl-style type classes: https://hackage.haskell.org/package/deriving-trans And now I wondered whether I managed to satisfy all the...

Handle `-Wprepositive-qualified-syntax` and `-Wmissing-local-signatures`

4

When `-Wprepositive-qualified-syntax` is enabled, an artifact remains after reloading finishes: ``` :1:8-16: warning: [-Wprepositive-qualified-module] Found ‘qualified’ in prepositive position Suggested fix: place ‘qualified’ after the module name instead. ``` Note,...