Text this: Studies on types :