Unused variable
Support fun types as restrictions
Put fun type restriction in Thread#new