Add ErrorT monad to height example