GHC.Extsのthe関数