Add comment re:generalizing FunLike