removed links on typefunc post because I only want to maintain them in
the repo

Also, apparently there were some changes to learn you an agda post that
I don't remember.