Should the return type of init really be a Resource?

I noticed in IOSetup, the finalizer for the Resource is never run (the finalizer returned from allocated is discarded). I think that's a reasonable thing to do, but it makes the typesignature of IOLambda.Simple#init a little disingenuous:

def init: Resource[IO, Init]

The user goes to the trouble of building a Resource, and probably assumes everything will be cleaned up when the Lambda instance is terminated, when in fact the finalizer is dropped on the floor.

Maybe def init: IO[Init] would be less misleading? Or at least a comment explaining that the finalizer won't be run would be helpful.

Start by inspecting IOSetup and the IOLambda.Simple#init signature. Trace how the Resource returned by init is allocated and whether its finalizer is retained; then resolve whether the API should return IO[Init] or document the discarded finalizer. Done means the lifecycle behavior and public type are consistent.