dwayne/elm-trs2/1.0.0

Book.Ch6

Relations from Chapter 6 of The Reasoned Schemer (2nd Edition).

alwayso : Goal a
nevero : Goal a