module TypeLevel.Util ( cdr 
                  ) where

cdr :: t a -> a
cdr :: t a -> a
cdr t a
_ = a
forall a. HasCallStack => a
undefined