worldmaker

Add more compatibility checks to instances and constraints (was: Fail to infer type due to infinite type)

1

## Description The compiler seems to run into an infinite type problem and stop looking for associated functions in other instances. To solve this problem, the correct type class instance...

ZipList is Bind

1

https://github.com/purescript/purescript-lists/blob/b113451e5b41cad87d669a3165f955c71cd863e2/src/Data/List/ZipList.purs#L57-L66 ZipList is Bind, in which join is just diagonal. It's also Monad and ~~MonadPlus~~. Example: https://try.purescript.org/?gist=4888527a78d71d12df75fa628acd4719

https://github.com/purescript/purescript-lists/blob/b113451e5b41cad87d669a3165f955c71cd863e2/src/Data/List/Lazy/Types.purs#L116 The implementation of FunctorWithIndex for Lazy List uses folding, which, unlike Functor, is not lazy. It should be: ```purescript instance functorWithIndexList :: FunctorWithIndex Int List where mapWithIndex f xs...

ex: https://try.purescript.org/?gist=82aad3725f27216aafcdfc51a65fd3c0 **Description of the change** ComonadEnv third law is wrong. Duplicating env after local modification will remain modified. See above example. --- **Checklist:** - [ ] Added the change...