Forgot to move agda prelude
Simpler pretty printing