authタグの中身をHaskellの型に変換(途中)