converted mkParams to support type synonyms
updated for applicative blog post
Merge branch 'master' of https://github.com/mikeizbicki/typeparams