NeverType constructor

NeverType()