The latest version of type-fun is 0.1.3-0.

TypeFun.Data.Peano

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?