1{-# LANGUAGE FlexibleContexts #-}
2f :: Log.Stack => a -> a
3f = id
4