Started to think about types representation