type-level-numbers-0.1: TypeLevel/Util.hs

module TypeLevel.Util ( cdr 
                  ) where

cdr :: t a -> a
cdr _ = undefined