Assert that the new Tiny Type is constructed with exactly one argument