Playing with the newfound type