Fix typo (fst --> head) in docs on implicit parameters