Functional reactive programming library

#4Incorrect typeclass dependencies

At least one of these seems like it's a typo: countSession_ should have the same dependencies as countSession, i.e. it should not depend on MonadIO

That being said, I think there's another spurious dependency that needs some clarification:

Why does HasTime t s depend on Monoid s and Real t?