YESODでタイプセーフでファビコンを指定します

Question

これは、Yesodメーリングリストで尋ねた元の質問の再投稿です（参照してください http://groups.google.com/group/yesodweb/browse_thread/thread/934c4141fc615cb）より速い応答を取得しようとして。

生成できるかどうかを把握しようとしています <link> とともに type Faviconファイルを提供するHTTPハンドラーによって送信されるMIMEタイプに対応する属性。

これまでのところ、私はこのリンクを持っています：

<link rel="icon" href=@{FaviconR} sizes="32x32" type="image/png">

そしてこのハンドラー：

getFaviconR :: Handler ()
getFaviconR = sendFile "image/png" "config/favicon.png"

コードがコンパイルされることを確認する方法を探しています getFaviconR と <link> 同じmimeタイプを持っています。

もちろん、私は省略できることに気づきます type リンクからの属性を完全に導き、クライアントに依存してタイプを把握しますが、理論的な質問と考えてください。

私はHaskellに慣れていないので、不可能なことを求めているかもしれません。番号？

Answer 1

ここで最も簡単なことは、別の変数で画像タイプを定義し、両方の場所で使用することだと思います。