No one’s following monty.hs128 yet