T11947a.hs:4:19: error: [GHC-39999]
    • 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
      Potentially matching instances:
        instance RealFloat Double -- Defined in ‘GHC.Float’
        instance RealFloat Float -- Defined in ‘GHC.Float’
    • 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