module TypeLevel.Util ( cdr 
                  ) where

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