|
|
|
|
|
|
by fire_lake
638 days ago
|
|
|
With (3) it’s hard to have different instruction sets for different parts of your program. Ideally, a function that logs only uses the log instruction set and this is reflected in the type. Once you start down this road, you end up at final tagless anyway. |
|
|