made A example type sig more consise and added type sig for first example