Comment by foxes

An llm doesnt 'prefer' to use anything.

Whats different to the effects system just being a type system?

Isnt a function that opens a particular file still just a type? Perhaps dependent?

Reminds me of mercury which has determinism of the function like type signatures.