relax typespec on attrs input; plus example