{-# LANGUAGE FlexibleContexts #-}
f :: Log.Stack => a -> a
f = id