EDIT: This gist has been promoted and is now a blog post.
Scala methods can have multiple lists of value parameters but only one list of type parameters, which is occasionally irritating when some are inferable and others are not. Consider this method which has two type parameters, one inferable and one not.
import scalaz._, Scalaz._