Number-parameterized types. The Monad.Reader 5 (2005)

by O Kiselyov