最初は型を書かない方が分かりやすい
アセンブラが分かる奴はCのポインタが分かる
ただし言語が二つ必要

Haskellの型を無くしてみろ
それが引き算だろ