:load T15743b.hs
:set -fprint-explicit-foralls
:k F