<div dir="ltr"><div>Cafe,</div><div><br></div><div>There is a group of GHC extensions and complementary classes</div><div>to make writing Haskell code a bit sweeter such as:</div><div> - {} - Num (fromIntegral)<br></div><div> - OverloadedStrings - IsString</div><div> - OverloadedLists - IsList</div><div><br></div><div>So I have an inductive question - why there is no OverloadedTuples?</div><div>I haven't found a discussion thread about this topic.</div><div><br></div><div>I could imagine following tuple syntax interpretation:</div><div><br></div><div>{-# LANGUAGE OverloadedTuples #-}</div><div><br></div><div>data Foo = FooA Int String | FooB String Foo deriving (Show, Eq, IsTuple)</div><div><br></div><div>mkFoo :: Foo</div><div>mkFoo = (1, "hello")</div><div><br></div><div>mkFoo2 :: Foo</div><div>mkFoo = ("abc", (1, "hello"))</div><div><br></div><div>Sometimes expected type name is known without data constructor.</div><div>So such expression is more concise.<br></div><div></div><div><br></div><div><br></div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br>Best regards,<br>Daniil Iaitskov<br> <br><br><br></div></div></div>