Note that GHC can infer the type of the decorator as well!