Creates a new instance of IOLocal with the given default value.
The creation is effectful, because IOLocal models mutable state, and allocating mutable state is not pure.
the type of the local value
the default value