module TypeLevel.Util ( cdr ) where cdr :: t a -> a cdr :: forall (t :: * -> *) a. t a -> a cdr t a _ = a forall a. HasCallStack => a undefined