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