is7s :: (Blog a, Blogs a Haskell) => a