Type Inferred Ltd.