Travis Staton comments

Repositories
Issues
Comments

Results 21 comments of


                                            Travis Staton

Kind inference only seems to infer types and not other abilities

This final example is a result of kind defaulting. Looks like the inferred kind for `f` in `IOF f` is `_ -> Type`, which is incorrect. Kind defaulting takes these...