Torgeir Strand Henriksen

What I'm trying is to avoid "id blindness", where mixing up unrelated ids is accepted by the compiler, because they're all Int64. Making that mistake will also cause runtime errors,...

I'm not sure I follow. Does that assume dimap will performed in the internal module? What if dimap is performed in an external module, where the constructors are not exported?

Ah, I see. But they're still in the same project. What if they are in different projects? I'm also not sure that it solves the "id blindness" problem. If you...

When the types are shared by multiple applications, it makes sense to keep them in a library instead of copying and pasting them around. One example is a library that...

The dependency between the queries and the codec is intentional in the case of user id, since the shared authentication code must always get the same user id type. I...

What's the latest news on this? Is it possible to derive FromJSON and have the instance allow Maybe fields to be missing, or do such instances have to be written...

@lortabac I can't get it working: ``` data MyType a = MyType { field1 :: Int, field2 :: a } deriving (Show, Generic, FromJSON) ``` ``` *Main> parseEither (parseJSON ::...

@Lysxia Thanks, I can see that I have the FromJSON version of that issue.

Thanks for the quick response! I got it to compile by adding the option to app/Main.hs as well, and it does indeed seem to work for let expressions. Is it...

Oh wait, it does import/export correctly with "respectful", but I noticed similar problems when formatting list literals. ``` numbers = [ 1, 2, 3 ] ```