Facundo Domínguez

Thanks for the report. I can reproduce this with ghc 9.10. The error makes me think that LH is confused by the higher rank of `MkT`, as abstract predicates are...

> Would that then also mean that I can't enable LH for other modules that use T or foo? I hope you would be able to enable LH in other...

Sounds good to me.

Hello @f-ei8ht, and welcome! One way to approach LH could be by building it and then trying it on some examples that involve type and predicate aliases. After growing the...

One of the candidates to GSoC noted that predicate aliases are mentioned as deprecated in [this section](https://ucsd-progsys.github.io/liquidhaskell/specifications/#writing-specifications) of the documentation, which brings up the question on whether they should be...

Answering AlecsFerra, > Why don't we implement refinement alias as refinement of normal Haskell type aliases ... I don't expect implementation to be large or difficult either way. If there...

To all interested in GSoC: I'm going to have poor access to github and slack for the next three weeks, but you can still reach me at facundominguez at gmail...

Congratulations to @ninioArtillero who got the funding from Google to work on this! And thanks to the multiple candidates that sent their proposals!

> Is there a way to prove that the function fulfils all its assumptions? Assumptions are not meant to be proved, they are assumed **without proof**. But maybe you mean...

I moved the BBODY item to the top level on recommendation by @WhatisRT. The other tasks in CHAIN are really out of scope apparently, except for TICK, which was already...