Permalink
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (4 sloc) 90 Bytes
module TypeLevel.Util ( cdr
) where
cdr :: t a -> a
cdr _ = undefined