module Todo where

todo = todo -- bottom that means unimplemented function

withType :: v -> v -> v
withType = const

type Todo = ()

-- Bad idea:  -xc backtrace shows it looking just like the other
--            bottom defined above.
-- crash = crash -- bottom used to crash to indicate error