I'm really happy that executable size doesn't matter for server software. Because Yesod produce really big execs.