Nathan Faubion

I think an example in the docs repo is the best thing. This error is a general unification error against a constrained type. For example: ```purescript module Main where data...

One solution might be to existentially bundle the state `Ref` and the getter/setter together with the `Handler`. This lets you keep the same signature for `Handler` but support more interesting...

I think there's another case of this in `routing-duplex`: https://github.com/natefaubion/purescript-routing-duplex/blob/13702d4a73ac3eac1d8c09701fb06faca7073728/src/Routing/Duplex/Generic.purs#LL80C1-L86C60 Which can be observed [here](https://try.purescript.org/?code=LYewJgrgNgpgBAWQIYEsB2cDuALGAnGAKEJWAAcQ8AXOAESSqQDoBxGNfFAYyYCUYycABRcoSAM7i4bDnm4AaOAEE8AcwjB2VIUyYBKPSXKUavEBCrpVTWhDKwAHsLMWYt%2BzAcByQ6QrU4F0s0a3dHVnZOLmE0EBVVcUVxDUVRCSkWILc7RwBhKjxfYwCgqxsczwjZbiYAZQBPNEYnISEAegMjfxpapAAzGCZckHwueBERvDHDQjAGJDhc3gBVOAWAXkWCBngAH0CYJDA1uABaU-3lsjmqeCRiME4AN3h0cUY0MelIuWihJdWSD0cAA%2BsQuHgIHAAFzQuB9ShIKBQNZMQLmW5hTxeE6nAB86NcWO8wgBa0MEKh6FkcHWhDgcGSwHpDLgAG84AAiXLbW6cuGxeLiFkMxSc-hHflwan4EVnU5iq43GBSzkwMAoKicuBtaVoWRygC%2BQA), resulting in ``` No type class instance was found for Routing.Duplex.Generic.GRouteDuplexCtr a0 (Argument a0) The...

`—strict` is only useful if you can censor library warnings. Its primary use case is enforcing warning free code in CI. Without lib censoring, libraries may fail your CI due...

I think that case is reasonable, where removing a child is equivalent to cancelling the child's pending actions. That is, it's equivalent to sending a kill to all fork ids,...

But DOM handlers are synchronous and linear. Code in HalogenM is asynchronous and concurrent (regardless of what your `m` is), so it requires concurrency semantics.

Perhaps another way of phrasing it: ``` someHalogenM = do raise ... lift $ Console.log "Hello" eval = do SomeAction -> someHalogenM AnotherAction -> void $ H.fork someHalogenM ``` What...

Oh, I see. I misunderstood the example. I should have read closer. Yes, I agree with you that a child disappearing should not result in the parent halting execution. It...

I think that we would want to support annotations on typeclass/instance members, which are not top-level. I could also see annotations on expressions/identifiers, but I recognize that this is a...

> Or put differently, could you provide an example where adding such an annotation would be helpful? My use case was call-site inlining annotations. Additionally, inlining annotations on local bindings...