Sorry, where did I say C# is less verbose than Haskell? And what has that got to do with implementing polymorphic return values?