Polytypic Values Possess Polykinded Types - Hinze, R (Springer Berlin / Heidelberg, 2000)