Drop the KnownNat constraint from the Function constructor