Varun Gandhi

I recently posted a related question on CompSci.SE that you may be interested in tracking: [Row polymorphism extended to modules](https://cs.stackexchange.com/questions/96326/row-polymorphism-extended-to-modules). Unfortunately it hasn't received any answers yet.

Minor correction: Sixten has unboxed types but not dependent types (at least the Readme doesn't say so).

I don't know the reason but I suspect it is because GitHub Actions don't have M1 Mac runners. Cross-compiling from x86_64 to arm64 is generally more tedious with C code...

I don't know (I just saw this issue as I was passing by) but that would only resolve the build aspect (which might be OK, I'm not sure if that...

@swift-ci create

I don't think just changing `recursive` would work if we want `frequency` to work too (without modifications) as the `Int` is not inside the monad. ``` recursive' :: MonadGen m...

My 2c w.r.t. operator symbols - it would be more intuitive if the `*` was changed to `/` (Divisible is the opposite of Applicative). So more like (Option 1): (>$...

Travis now has [Windows support](https://blog.travis-ci.com/2018-10-11-windows-early-release) in case you want to use it over AppVeyor. (Haven't personally tried it, so I don't know about potential bugs/issues vs AppVeyor.)

@swift-ci create

@swift-ci create