I dunno, I kinda like that, add sum types and you can pass anything to computeArea. The problem really starts when you have typeA.func() typeB.func(x) typeC

I dunno, I kinda like that, add sum types and you can pass anything to computeArea. The problem really starts when you have typeA.func() typeB.func(x) typeC.func(x=default_value)