Constructors are working, without kind parameters