An authentication framework for Happstack with support for pluggable authentication modules