Main.hs

verify j = case J.verify (J.secret $ pack "secret-key") =<< J.decode j of
    Nothing -> return Nothing
    Just j -> do
        r <- expired j
        case r of
            Just True -> return $ Just j
            _ -> return Nothing