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