:load expl/Examples.hs
:set +simplify
:generalise andL
:test andL on "andL [True, True, True, True]"
:test andL on "andL [True, True, True, False]"
:quit
