let
triplo a b c = ((a, to_fita b),c)