exampleFunction
:: ExampleType
-> IntexampleFunction (TypeA (a,b)) = a + b
exampleFunction (TypeB (a,b,c)) = a + c + c
main
= print $ exampleFunction
(TypeA
(2,3))
ZGF0YSBFeGFtcGxlVHlwZSA9IFR5cGVBIChJbnQsIEludCkgfCBUeXBlQiAoSW50LCBJbnQsIEludCkKCmV4YW1wbGVGdW5jdGlvbiA6OiBFeGFtcGxlVHlwZSAtPiBJbnQKZXhhbXBsZUZ1bmN0aW9uIChUeXBlQSAoYSxiKSkgPSBhICsgYgpleGFtcGxlRnVuY3Rpb24gKFR5cGVCIChhLGIsYykpID0gYSArIGMgKyBjCgoKbWFpbiA9IHByaW50ICQgZXhhbXBsZUZ1bmN0aW9uIChUeXBlQSAoMiwzKSk=