-shortMonthName ∷ Num n ⇒ n → String
-{-# INLINEABLE shortMonthName #-}
-shortMonthName 1 = "Jan"
-shortMonthName 2 = "Feb"
-shortMonthName 3 = "Mar"
-shortMonthName 4 = "Apr"
-shortMonthName 5 = "May"
-shortMonthName 6 = "Jun"
-shortMonthName 7 = "Jul"
-shortMonthName 8 = "Aug"
-shortMonthName 9 = "Sep"
-shortMonthName 10 = "Oct"
-shortMonthName 11 = "Nov"
-shortMonthName 12 = "Dec"
-shortMonthName n = error ("shortMonthName: invalid month: " ⧺ show n)
+shortMonthName ∷ Num n ⇒ n → AsciiBuilder
+{-# INLINE shortMonthName #-}
+shortMonthName = A.toAsciiBuilder ∘ go
+ where
+ {-# INLINEABLE go #-}
+ go 1 = "Jan"
+ go 2 = "Feb"
+ go 3 = "Mar"
+ go 4 = "Apr"
+ go 5 = "May"
+ go 6 = "Jun"
+ go 7 = "Jul"
+ go 8 = "Aug"
+ go 9 = "Sep"
+ go 10 = "Oct"
+ go 11 = "Nov"
+ go 12 = "Dec"
+ go n = error ("shortMonthName: invalid month: " ⧺ show n)