:l expl/Examples.hs
:g weave
:q
