Make randomSign statically resolved

Originally randomSign has statically resolved type parameter and take no argument.
However, as the result of removing type parameter of GeneratorFunction,
randomSign lost the flexibility.
This change brings back statically resolved type parameter introducing unit argument.