^ is:exact package:base set:included-with-ghc

raise a number to a non-negative integral power
Exponentiation of type-level naturals.