Orozco's Samurai Invariants in Elm