I mean regardless..having dependent types in Haskell is going to come in handy in industry. It's obviously not the case that dependent types are strictly too co

I mean regardless..having dependent types in Haskell is going to come in handy in industry. It's obviously not the case that dependent types are strictly too costly to ever use.