analysis typed