inference :: Html
inference =
  do h2 "Type inference"
     p "You don't have to explicitly write out every type in a Haskell program. \
       \Types will be inferred by unifying every type bidirectionally. But you \
       \can write out types, or ask the compiler to write them for you, for \
       \handy documentation."
     p (a "View examples")
inference :: Html
inference =
  do h2 "Type inference"
     p "You don't have to explicitly write out every type in a Haskell program. \
       \Types will be inferred by unifying every type bidirectionally. But you \
       \can write out types, or ask the compiler to write them for you, for \
       \handy documentation."
     p (a "View examples")
inference =
  do h2 "Type inference"
     p "You don't have to explicitly write out every type in a Haskell program. \
       \Types will be inferred by unifying every type bidirectionally. But you \
       \can write out types, or ask the compiler to write them for you, for \
       \handy documentation."
     p (a "View examples")