:set +c
:l T20150.hs
:all-types