Types vs clever code

“If it’s hard to typecheck, it’s probably hard to understand.” — Jared Forsyth