Named and unnamed implicit parameters with defaults (for Haskell).