:load T8776.hs
:i P