No effect type in signatures since it is always Effect.Type.Pure for now