Does Boolean HeytingAlgebra need to be foreign?

[natefaubion]

Currently, boolConj, boolDisj, and boolNot are foreign, but could these be implemented in PureScript with pattern matching?

[garyb]

Huh, I wonder why they were done that way. I don't see why they couldn't be pattern matches instead.