Because people have asked, no, the name of this account is not a systemd joke. It's a reference to the polymorphic lambda calculus.