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