T11947a.hs:4:19: error:
    • Could not deduce (RealFloat a0)
      from the context: RealFloat a
        bound by the type signature for:
                   theFloatDigits :: forall a. RealFloat a => Int
        at T11947a.hs:4:19-46
      The type variable ‘a0’ is ambiguous
    • In the ambiguity check for ‘theFloatDigits’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      In the type signature:
        theFloatDigits :: forall a. RealFloat a => Int