New constructor

No type t