type-prelude

Partial port of prelude to the type level. Requires GHC 7.6.1.

This module contains functions from the prelude implemented at the type level as both type classes and type families. It comes with an Integer kind.