geo880 in typed lambda format