Check treatment

Toy v. Haskell