{"body":"infer :: Context -> LC -> Maybe Type\ninfer ctx (Ite t1 t2 t3) =\n  case (infer ctx t1, infer ctx t2, infer ctx t3) of\n    (Just Bool, Just ty2, Just ty3)\n      | ty2 == ty3 -> Just ty2\n      | otherwise -> Nothing\n    _ -> Nothing\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/F0lhI2mT","modified":1701794718,"id":"F0lhI2mT","size":230,"lines":7,"own_paste":false,"theme":"","date":1701794718}