Comment on Why don't you use dependent types?Comments−boulevard10moThe real skill is knowing when not to make something dependent otherwise you just slow yourself down.
Comments
The real skill is knowing when not to make something dependent otherwise you just slow yourself down.