    {-# LANGUAGE DeriveDataTypeable #-}
    {-# LANGUAGE GeneralizedNewtypeDeriving #-}
    {-# OPTIONS_GHC -fno-warn-missing-signatures #-}

    -- |
    -- Module      : Crypto.ECC.Simple.Types
    -- License     : BSD-style
    -- Maintainer  : Vincent Hanquez <vincent@snarc.org>
    -- Stability   : Experimental
    -- Portability : Excellent
    --
    -- References:
    --   <https://tools.ietf.org/html/rfc5915>
    module Crypto.ECC.Simple.Types (
        Curve (..),
        Point (..),
        Scalar (..),
        CurveType (..),
        CurveBinaryParam (..),
        CurvePrimeParam (..),
        curveSizeBits,
        curveSizeBytes,
        CurveParameters (..),

        -- * Specific curves definition
        SEC_p112r1 (..),
        SEC_p112r2 (..),
        SEC_p128r1 (..),
        SEC_p128r2 (..),
        SEC_p160k1 (..),
        SEC_p160r1 (..),
        SEC_p160r2 (..),
        SEC_p192k1 (..),
        SEC_p192r1 (..), -- aka prime192v1
        SEC_p224k1 (..),
        SEC_p224r1 (..),
        SEC_p256k1 (..),
        SEC_p256r1 (..), -- aka prime256v1
        SEC_p384r1 (..),
        SEC_p521r1 (..),
        SEC_t113r1 (..),
        SEC_t113r2 (..),
        SEC_t131r1 (..),
        SEC_t131r2 (..),
        SEC_t163k1 (..),
        SEC_t163r1 (..),
        SEC_t163r2 (..),
        SEC_t193r1 (..),
        SEC_t193r2 (..),
        SEC_t233k1 (..), -- aka NIST K-233
        SEC_t233r1 (..),
        SEC_t239k1 (..),
        SEC_t283k1 (..),
        SEC_t283r1 (..),
        SEC_t409k1 (..),
        SEC_t409r1 (..),
        SEC_t571k1 (..),
        SEC_t571r1 (..),
    ) where

    import Crypto.Internal.Imports
    import Crypto.Number.Basic (numBits)
    import Data.Data

    class Curve curve where
        curveParameters :: proxy curve -> CurveParameters curve
        curveType :: proxy curve -> CurveType

    -- | get the size of the curve in bits
    curveSizeBits :: Curve curve => proxy curve -> Int
    curveSizeBits :: forall curve (proxy :: * -> *). Curve curve => proxy curve -> Int
    curveSizeBits proxy curve
    proxy =
        case proxy curve -> CurveType
    forall curve (proxy :: * -> *).
    Curve curve =>
    proxy curve -> CurveType
    forall (proxy :: * -> *). proxy curve -> CurveType
    curveType proxy curve
    proxy of
            CurvePrime (CurvePrimeParam Integer
    p) -> Integer -> Int
    numBits Integer
    p
            CurveBinary (CurveBinaryParam Integer
    c) -> Integer -> Int
    numBits Integer
    c Int -> Int -> Int
    forall a. Num a => a -> a -> a
    - Int
    1

    -- | get the size of the curve in bytes
    curveSizeBytes :: Curve curve => proxy curve -> Int
    curveSizeBytes :: forall curve (proxy :: * -> *). Curve curve => proxy curve -> Int
    curveSizeBytes proxy curve
    proxy = (proxy curve -> Int
    forall curve (proxy :: * -> *). Curve curve => proxy curve -> Int
    curveSizeBits proxy curve
    proxy Int -> Int -> Int
    forall a. Num a => a -> a -> a
    + Int
    7) Int -> Int -> Int
    forall a. Integral a => a -> a -> a
    `div` Int
    8

    -- | Define common parameters in a curve definition
    -- of the form: y^2 = x^3 + ax + b.
    data CurveParameters curve = CurveParameters
        { forall curve. CurveParameters curve -> Integer
    curveEccA :: Integer
        -- ^ curve parameter a
        , forall curve. CurveParameters curve -> Integer
    curveEccB :: Integer
        -- ^ curve parameter b
        , forall curve. CurveParameters curve -> Point curve
    curveEccG :: Point curve
        -- ^ base point
        , forall curve. CurveParameters curve -> Integer
    curveEccN :: Integer
        -- ^ order of G
        , forall curve. CurveParameters curve -> Integer
    curveEccH :: Integer
        -- ^ cofactor
        }
        deriving (Int -> CurveParameters curve -> ShowS
    [CurveParameters curve] -> ShowS
    CurveParameters curve -> String
    (Int -> CurveParameters curve -> ShowS)
    -> (CurveParameters curve -> String)
    -> ([CurveParameters curve] -> ShowS)
    -> Show (CurveParameters curve)
    forall curve. Int -> CurveParameters curve -> ShowS
    forall curve. [CurveParameters curve] -> ShowS
    forall curve. CurveParameters curve -> String
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: forall curve. Int -> CurveParameters curve -> ShowS
    showsPrec :: Int -> CurveParameters curve -> ShowS
    $cshow :: forall curve. CurveParameters curve -> String
    show :: CurveParameters curve -> String
    $cshowList :: forall curve. [CurveParameters curve] -> ShowS
    showList :: [CurveParameters curve] -> ShowS
    Show, CurveParameters curve -> CurveParameters curve -> Bool
    (CurveParameters curve -> CurveParameters curve -> Bool)
    -> (CurveParameters curve -> CurveParameters curve -> Bool)
    -> Eq (CurveParameters curve)
    forall curve.
    CurveParameters curve -> CurveParameters curve -> Bool
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: forall curve.
    CurveParameters curve -> CurveParameters curve -> Bool
    == :: CurveParameters curve -> CurveParameters curve -> Bool
    $c/= :: forall curve.
    CurveParameters curve -> CurveParameters curve -> Bool
    /= :: CurveParameters curve -> CurveParameters curve -> Bool
    Eq, Typeable (CurveParameters curve)
    Typeable (CurveParameters curve) =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g)
     -> CurveParameters curve
     -> c (CurveParameters curve))
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c (CurveParameters curve))
    -> (CurveParameters curve -> Constr)
    -> (CurveParameters curve -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c (CurveParameters curve)))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e))
        -> Maybe (c (CurveParameters curve)))
    -> ((forall b. Data b => b -> b)
        -> CurveParameters curve -> CurveParameters curve)
    -> (forall r r'.
        (r -> r' -> r)
        -> r
        -> (forall d. Data d => d -> r')
        -> CurveParameters curve
        -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r
        -> (forall d. Data d => d -> r')
        -> CurveParameters curve
        -> r)
    -> (forall u.
        (forall d. Data d => d -> u) -> CurveParameters curve -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> CurveParameters curve -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d)
        -> CurveParameters curve -> m (CurveParameters curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurveParameters curve -> m (CurveParameters curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurveParameters curve -> m (CurveParameters curve))
    -> Data (CurveParameters curve)
    CurveParameters curve -> Constr
    CurveParameters curve -> DataType
    (forall b. Data b => b -> b)
    -> CurveParameters curve -> CurveParameters curve
    forall curve. Data curve => Typeable (CurveParameters curve)
    forall curve. Data curve => CurveParameters curve -> Constr
    forall curve. Data curve => CurveParameters curve -> DataType
    forall curve.
    Data curve =>
    (forall b. Data b => b -> b)
    -> CurveParameters curve -> CurveParameters curve
    forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> CurveParameters curve -> u
    forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> CurveParameters curve -> [u]
    forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (CurveParameters curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g)
    -> CurveParameters curve
    -> c (CurveParameters curve)
    forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (CurveParameters curve))
    forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (CurveParameters curve))
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u.
    Int -> (forall d. Data d => d -> u) -> CurveParameters curve -> u
    forall u.
    (forall d. Data d => d -> u) -> CurveParameters curve -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (CurveParameters curve)
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g)
    -> CurveParameters curve
    -> c (CurveParameters curve)
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (CurveParameters curve))
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (CurveParameters curve))
    $cgfoldl :: forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g)
    -> CurveParameters curve
    -> c (CurveParameters curve)
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g)
    -> CurveParameters curve
    -> c (CurveParameters curve)
    $cgunfold :: forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (CurveParameters curve)
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (CurveParameters curve)
    $ctoConstr :: forall curve. Data curve => CurveParameters curve -> Constr
    toConstr :: CurveParameters curve -> Constr
    $cdataTypeOf :: forall curve. Data curve => CurveParameters curve -> DataType
    dataTypeOf :: CurveParameters curve -> DataType
    $cdataCast1 :: forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (CurveParameters curve))
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (CurveParameters curve))
    $cdataCast2 :: forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (CurveParameters curve))
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (CurveParameters curve))
    $cgmapT :: forall curve.
    Data curve =>
    (forall b. Data b => b -> b)
    -> CurveParameters curve -> CurveParameters curve
    gmapT :: (forall b. Data b => b -> b)
    -> CurveParameters curve -> CurveParameters curve
    $cgmapQl :: forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    $cgmapQr :: forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveParameters curve -> r
    $cgmapQ :: forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> CurveParameters curve -> [u]
    gmapQ :: forall u.
    (forall d. Data d => d -> u) -> CurveParameters curve -> [u]
    $cgmapQi :: forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> CurveParameters curve -> u
    gmapQi :: forall u.
    Int -> (forall d. Data d => d -> u) -> CurveParameters curve -> u
    $cgmapM :: forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    $cgmapMp :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    $cgmapMo :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveParameters curve -> m (CurveParameters curve)
    Data)

    newtype CurveBinaryParam = CurveBinaryParam Integer
        deriving (Int -> CurveBinaryParam -> ShowS
    [CurveBinaryParam] -> ShowS
    CurveBinaryParam -> String
    (Int -> CurveBinaryParam -> ShowS)
    -> (CurveBinaryParam -> String)
    -> ([CurveBinaryParam] -> ShowS)
    -> Show CurveBinaryParam
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> CurveBinaryParam -> ShowS
    showsPrec :: Int -> CurveBinaryParam -> ShowS
    $cshow :: CurveBinaryParam -> String
    show :: CurveBinaryParam -> String
    $cshowList :: [CurveBinaryParam] -> ShowS
    showList :: [CurveBinaryParam] -> ShowS
    Show, ReadPrec [CurveBinaryParam]
    ReadPrec CurveBinaryParam
    Int -> ReadS CurveBinaryParam
    ReadS [CurveBinaryParam]
    (Int -> ReadS CurveBinaryParam)
    -> ReadS [CurveBinaryParam]
    -> ReadPrec CurveBinaryParam
    -> ReadPrec [CurveBinaryParam]
    -> Read CurveBinaryParam
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS CurveBinaryParam
    readsPrec :: Int -> ReadS CurveBinaryParam
    $creadList :: ReadS [CurveBinaryParam]
    readList :: ReadS [CurveBinaryParam]
    $creadPrec :: ReadPrec CurveBinaryParam
    readPrec :: ReadPrec CurveBinaryParam
    $creadListPrec :: ReadPrec [CurveBinaryParam]
    readListPrec :: ReadPrec [CurveBinaryParam]
    Read, CurveBinaryParam -> CurveBinaryParam -> Bool
    (CurveBinaryParam -> CurveBinaryParam -> Bool)
    -> (CurveBinaryParam -> CurveBinaryParam -> Bool)
    -> Eq CurveBinaryParam
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: CurveBinaryParam -> CurveBinaryParam -> Bool
    == :: CurveBinaryParam -> CurveBinaryParam -> Bool
    $c/= :: CurveBinaryParam -> CurveBinaryParam -> Bool
    /= :: CurveBinaryParam -> CurveBinaryParam -> Bool
    Eq, Typeable CurveBinaryParam
    Typeable CurveBinaryParam =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> CurveBinaryParam -> c CurveBinaryParam)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c CurveBinaryParam)
    -> (CurveBinaryParam -> Constr)
    -> (CurveBinaryParam -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c CurveBinaryParam))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e))
        -> Maybe (c CurveBinaryParam))
    -> ((forall b. Data b => b -> b)
        -> CurveBinaryParam -> CurveBinaryParam)
    -> (forall r r'.
        (r -> r' -> r)
        -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r)
    -> (forall u.
        (forall d. Data d => d -> u) -> CurveBinaryParam -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> CurveBinaryParam -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d)
        -> CurveBinaryParam -> m CurveBinaryParam)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurveBinaryParam -> m CurveBinaryParam)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurveBinaryParam -> m CurveBinaryParam)
    -> Data CurveBinaryParam
    CurveBinaryParam -> Constr
    CurveBinaryParam -> DataType
    (forall b. Data b => b -> b)
    -> CurveBinaryParam -> CurveBinaryParam
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u.
    Int -> (forall d. Data d => d -> u) -> CurveBinaryParam -> u
    forall u. (forall d. Data d => d -> u) -> CurveBinaryParam -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveBinaryParam
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveBinaryParam -> c CurveBinaryParam
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveBinaryParam)
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurveBinaryParam)
    $cgfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveBinaryParam -> c CurveBinaryParam
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveBinaryParam -> c CurveBinaryParam
    $cgunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveBinaryParam
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveBinaryParam
    $ctoConstr :: CurveBinaryParam -> Constr
    toConstr :: CurveBinaryParam -> Constr
    $cdataTypeOf :: CurveBinaryParam -> DataType
    dataTypeOf :: CurveBinaryParam -> DataType
    $cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveBinaryParam)
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveBinaryParam)
    $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurveBinaryParam)
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurveBinaryParam)
    $cgmapT :: (forall b. Data b => b -> b)
    -> CurveBinaryParam -> CurveBinaryParam
    gmapT :: (forall b. Data b => b -> b)
    -> CurveBinaryParam -> CurveBinaryParam
    $cgmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    $cgmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveBinaryParam -> r
    $cgmapQ :: forall u. (forall d. Data d => d -> u) -> CurveBinaryParam -> [u]
    gmapQ :: forall u. (forall d. Data d => d -> u) -> CurveBinaryParam -> [u]
    $cgmapQi :: forall u.
    Int -> (forall d. Data d => d -> u) -> CurveBinaryParam -> u
    gmapQi :: forall u.
    Int -> (forall d. Data d => d -> u) -> CurveBinaryParam -> u
    $cgmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    $cgmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    $cgmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurveBinaryParam -> m CurveBinaryParam
    Data)

    newtype CurvePrimeParam = CurvePrimeParam Integer
        deriving (Int -> CurvePrimeParam -> ShowS
    [CurvePrimeParam] -> ShowS
    CurvePrimeParam -> String
    (Int -> CurvePrimeParam -> ShowS)
    -> (CurvePrimeParam -> String)
    -> ([CurvePrimeParam] -> ShowS)
    -> Show CurvePrimeParam
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> CurvePrimeParam -> ShowS
    showsPrec :: Int -> CurvePrimeParam -> ShowS
    $cshow :: CurvePrimeParam -> String
    show :: CurvePrimeParam -> String
    $cshowList :: [CurvePrimeParam] -> ShowS
    showList :: [CurvePrimeParam] -> ShowS
    Show, ReadPrec [CurvePrimeParam]
    ReadPrec CurvePrimeParam
    Int -> ReadS CurvePrimeParam
    ReadS [CurvePrimeParam]
    (Int -> ReadS CurvePrimeParam)
    -> ReadS [CurvePrimeParam]
    -> ReadPrec CurvePrimeParam
    -> ReadPrec [CurvePrimeParam]
    -> Read CurvePrimeParam
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS CurvePrimeParam
    readsPrec :: Int -> ReadS CurvePrimeParam
    $creadList :: ReadS [CurvePrimeParam]
    readList :: ReadS [CurvePrimeParam]
    $creadPrec :: ReadPrec CurvePrimeParam
    readPrec :: ReadPrec CurvePrimeParam
    $creadListPrec :: ReadPrec [CurvePrimeParam]
    readListPrec :: ReadPrec [CurvePrimeParam]
    Read, CurvePrimeParam -> CurvePrimeParam -> Bool
    (CurvePrimeParam -> CurvePrimeParam -> Bool)
    -> (CurvePrimeParam -> CurvePrimeParam -> Bool)
    -> Eq CurvePrimeParam
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: CurvePrimeParam -> CurvePrimeParam -> Bool
    == :: CurvePrimeParam -> CurvePrimeParam -> Bool
    $c/= :: CurvePrimeParam -> CurvePrimeParam -> Bool
    /= :: CurvePrimeParam -> CurvePrimeParam -> Bool
    Eq, Typeable CurvePrimeParam
    Typeable CurvePrimeParam =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> CurvePrimeParam -> c CurvePrimeParam)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c CurvePrimeParam)
    -> (CurvePrimeParam -> Constr)
    -> (CurvePrimeParam -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c CurvePrimeParam))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e))
        -> Maybe (c CurvePrimeParam))
    -> ((forall b. Data b => b -> b)
        -> CurvePrimeParam -> CurvePrimeParam)
    -> (forall r r'.
        (r -> r' -> r)
        -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r)
    -> (forall u.
        (forall d. Data d => d -> u) -> CurvePrimeParam -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> CurvePrimeParam -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d)
        -> CurvePrimeParam -> m CurvePrimeParam)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurvePrimeParam -> m CurvePrimeParam)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d)
        -> CurvePrimeParam -> m CurvePrimeParam)
    -> Data CurvePrimeParam
    CurvePrimeParam -> Constr
    CurvePrimeParam -> DataType
    (forall b. Data b => b -> b) -> CurvePrimeParam -> CurvePrimeParam
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u.
    Int -> (forall d. Data d => d -> u) -> CurvePrimeParam -> u
    forall u. (forall d. Data d => d -> u) -> CurvePrimeParam -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurvePrimeParam
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurvePrimeParam -> c CurvePrimeParam
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurvePrimeParam)
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurvePrimeParam)
    $cgfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurvePrimeParam -> c CurvePrimeParam
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurvePrimeParam -> c CurvePrimeParam
    $cgunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurvePrimeParam
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurvePrimeParam
    $ctoConstr :: CurvePrimeParam -> Constr
    toConstr :: CurvePrimeParam -> Constr
    $cdataTypeOf :: CurvePrimeParam -> DataType
    dataTypeOf :: CurvePrimeParam -> DataType
    $cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurvePrimeParam)
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurvePrimeParam)
    $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurvePrimeParam)
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c CurvePrimeParam)
    $cgmapT :: (forall b. Data b => b -> b) -> CurvePrimeParam -> CurvePrimeParam
    gmapT :: (forall b. Data b => b -> b) -> CurvePrimeParam -> CurvePrimeParam
    $cgmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    $cgmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurvePrimeParam -> r
    $cgmapQ :: forall u. (forall d. Data d => d -> u) -> CurvePrimeParam -> [u]
    gmapQ :: forall u. (forall d. Data d => d -> u) -> CurvePrimeParam -> [u]
    $cgmapQi :: forall u.
    Int -> (forall d. Data d => d -> u) -> CurvePrimeParam -> u
    gmapQi :: forall u.
    Int -> (forall d. Data d => d -> u) -> CurvePrimeParam -> u
    $cgmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    $cgmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    $cgmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> CurvePrimeParam -> m CurvePrimeParam
    Data)

    data CurveType
        = CurveBinary CurveBinaryParam
        | CurvePrime CurvePrimeParam
        deriving (Int -> CurveType -> ShowS
    [CurveType] -> ShowS
    CurveType -> String
    (Int -> CurveType -> ShowS)
    -> (CurveType -> String)
    -> ([CurveType] -> ShowS)
    -> Show CurveType
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> CurveType -> ShowS
    showsPrec :: Int -> CurveType -> ShowS
    $cshow :: CurveType -> String
    show :: CurveType -> String
    $cshowList :: [CurveType] -> ShowS
    showList :: [CurveType] -> ShowS
    Show, ReadPrec [CurveType]
    ReadPrec CurveType
    Int -> ReadS CurveType
    ReadS [CurveType]
    (Int -> ReadS CurveType)
    -> ReadS [CurveType]
    -> ReadPrec CurveType
    -> ReadPrec [CurveType]
    -> Read CurveType
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS CurveType
    readsPrec :: Int -> ReadS CurveType
    $creadList :: ReadS [CurveType]
    readList :: ReadS [CurveType]
    $creadPrec :: ReadPrec CurveType
    readPrec :: ReadPrec CurveType
    $creadListPrec :: ReadPrec [CurveType]
    readListPrec :: ReadPrec [CurveType]
    Read, CurveType -> CurveType -> Bool
    (CurveType -> CurveType -> Bool)
    -> (CurveType -> CurveType -> Bool) -> Eq CurveType
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: CurveType -> CurveType -> Bool
    == :: CurveType -> CurveType -> Bool
    $c/= :: CurveType -> CurveType -> Bool
    /= :: CurveType -> CurveType -> Bool
    Eq, Typeable CurveType
    Typeable CurveType =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> CurveType -> c CurveType)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c CurveType)
    -> (CurveType -> Constr)
    -> (CurveType -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c CurveType))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurveType))
    -> ((forall b. Data b => b -> b) -> CurveType -> CurveType)
    -> (forall r r'.
        (r -> r' -> r)
        -> r -> (forall d. Data d => d -> r') -> CurveType -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r -> (forall d. Data d => d -> r') -> CurveType -> r)
    -> (forall u. (forall d. Data d => d -> u) -> CurveType -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> CurveType -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> CurveType -> m CurveType)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> CurveType -> m CurveType)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> CurveType -> m CurveType)
    -> Data CurveType
    CurveType -> Constr
    CurveType -> DataType
    (forall b. Data b => b -> b) -> CurveType -> CurveType
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u. Int -> (forall d. Data d => d -> u) -> CurveType -> u
    forall u. (forall d. Data d => d -> u) -> CurveType -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveType
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveType -> c CurveType
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveType)
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurveType)
    $cgfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveType -> c CurveType
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> CurveType -> c CurveType
    $cgunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveType
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c CurveType
    $ctoConstr :: CurveType -> Constr
    toConstr :: CurveType -> Constr
    $cdataTypeOf :: CurveType -> DataType
    dataTypeOf :: CurveType -> DataType
    $cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveType)
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c CurveType)
    $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurveType)
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurveType)
    $cgmapT :: (forall b. Data b => b -> b) -> CurveType -> CurveType
    gmapT :: (forall b. Data b => b -> b) -> CurveType -> CurveType
    $cgmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    $cgmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> CurveType -> r
    $cgmapQ :: forall u. (forall d. Data d => d -> u) -> CurveType -> [u]
    gmapQ :: forall u. (forall d. Data d => d -> u) -> CurveType -> [u]
    $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> CurveType -> u
    gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> CurveType -> u
    $cgmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    $cgmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    $cgmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> CurveType -> m CurveType
    Data)

    -- | ECC Private Number
    newtype Scalar curve = Scalar Integer
        deriving (Int -> Scalar curve -> ShowS
    [Scalar curve] -> ShowS
    Scalar curve -> String
    (Int -> Scalar curve -> ShowS)
    -> (Scalar curve -> String)
    -> ([Scalar curve] -> ShowS)
    -> Show (Scalar curve)
    forall curve. Int -> Scalar curve -> ShowS
    forall curve. [Scalar curve] -> ShowS
    forall curve. Scalar curve -> String
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: forall curve. Int -> Scalar curve -> ShowS
    showsPrec :: Int -> Scalar curve -> ShowS
    $cshow :: forall curve. Scalar curve -> String
    show :: Scalar curve -> String
    $cshowList :: forall curve. [Scalar curve] -> ShowS
    showList :: [Scalar curve] -> ShowS
    Show, ReadPrec [Scalar curve]
    ReadPrec (Scalar curve)
    Int -> ReadS (Scalar curve)
    ReadS [Scalar curve]
    (Int -> ReadS (Scalar curve))
    -> ReadS [Scalar curve]
    -> ReadPrec (Scalar curve)
    -> ReadPrec [Scalar curve]
    -> Read (Scalar curve)
    forall curve. ReadPrec [Scalar curve]
    forall curve. ReadPrec (Scalar curve)
    forall curve. Int -> ReadS (Scalar curve)
    forall curve. ReadS [Scalar curve]
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: forall curve. Int -> ReadS (Scalar curve)
    readsPrec :: Int -> ReadS (Scalar curve)
    $creadList :: forall curve. ReadS [Scalar curve]
    readList :: ReadS [Scalar curve]
    $creadPrec :: forall curve. ReadPrec (Scalar curve)
    readPrec :: ReadPrec (Scalar curve)
    $creadListPrec :: forall curve. ReadPrec [Scalar curve]
    readListPrec :: ReadPrec [Scalar curve]
    Read, Scalar curve -> Scalar curve -> Bool
    (Scalar curve -> Scalar curve -> Bool)
    -> (Scalar curve -> Scalar curve -> Bool) -> Eq (Scalar curve)
    forall curve. Scalar curve -> Scalar curve -> Bool
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: forall curve. Scalar curve -> Scalar curve -> Bool
    == :: Scalar curve -> Scalar curve -> Bool
    $c/= :: forall curve. Scalar curve -> Scalar curve -> Bool
    /= :: Scalar curve -> Scalar curve -> Bool
    Eq, Typeable (Scalar curve)
    Typeable (Scalar curve) =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> Scalar curve -> c (Scalar curve))
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c (Scalar curve))
    -> (Scalar curve -> Constr)
    -> (Scalar curve -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c (Scalar curve)))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e))
        -> Maybe (c (Scalar curve)))
    -> ((forall b. Data b => b -> b) -> Scalar curve -> Scalar curve)
    -> (forall r r'.
        (r -> r' -> r)
        -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r)
    -> (forall u. (forall d. Data d => d -> u) -> Scalar curve -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> Scalar curve -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve))
    -> Data (Scalar curve)
    Scalar curve -> Constr
    Scalar curve -> DataType
    (forall b. Data b => b -> b) -> Scalar curve -> Scalar curve
    forall curve. Data curve => Typeable (Scalar curve)
    forall curve. Data curve => Scalar curve -> Constr
    forall curve. Data curve => Scalar curve -> DataType
    forall curve.
    Data curve =>
    (forall b. Data b => b -> b) -> Scalar curve -> Scalar curve
    forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> Scalar curve -> u
    forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> Scalar curve -> [u]
    forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Scalar curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Scalar curve -> c (Scalar curve)
    forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (Scalar curve))
    forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Scalar curve))
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u. Int -> (forall d. Data d => d -> u) -> Scalar curve -> u
    forall u. (forall d. Data d => d -> u) -> Scalar curve -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Scalar curve)
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Scalar curve -> c (Scalar curve)
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (Scalar curve))
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Scalar curve))
    $cgfoldl :: forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Scalar curve -> c (Scalar curve)
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Scalar curve -> c (Scalar curve)
    $cgunfold :: forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Scalar curve)
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Scalar curve)
    $ctoConstr :: forall curve. Data curve => Scalar curve -> Constr
    toConstr :: Scalar curve -> Constr
    $cdataTypeOf :: forall curve. Data curve => Scalar curve -> DataType
    dataTypeOf :: Scalar curve -> DataType
    $cdataCast1 :: forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (Scalar curve))
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (Scalar curve))
    $cdataCast2 :: forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Scalar curve))
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Scalar curve))
    $cgmapT :: forall curve.
    Data curve =>
    (forall b. Data b => b -> b) -> Scalar curve -> Scalar curve
    gmapT :: (forall b. Data b => b -> b) -> Scalar curve -> Scalar curve
    $cgmapQl :: forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    $cgmapQr :: forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Scalar curve -> r
    $cgmapQ :: forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> Scalar curve -> [u]
    gmapQ :: forall u. (forall d. Data d => d -> u) -> Scalar curve -> [u]
    $cgmapQi :: forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> Scalar curve -> u
    gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Scalar curve -> u
    $cgmapM :: forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    $cgmapMp :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    $cgmapMo :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Scalar curve -> m (Scalar curve)
    Data, Scalar curve -> ()
    (Scalar curve -> ()) -> NFData (Scalar curve)
    forall curve. Scalar curve -> ()
    forall a. (a -> ()) -> NFData a
    $crnf :: forall curve. Scalar curve -> ()
    rnf :: Scalar curve -> ()
    NFData)

    -- | Define a point on a curve.
    data Point curve
        = Point Integer Integer
        | -- | Point at Infinity
          PointO
        deriving (Int -> Point curve -> ShowS
    [Point curve] -> ShowS
    Point curve -> String
    (Int -> Point curve -> ShowS)
    -> (Point curve -> String)
    -> ([Point curve] -> ShowS)
    -> Show (Point curve)
    forall curve. Int -> Point curve -> ShowS
    forall curve. [Point curve] -> ShowS
    forall curve. Point curve -> String
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: forall curve. Int -> Point curve -> ShowS
    showsPrec :: Int -> Point curve -> ShowS
    $cshow :: forall curve. Point curve -> String
    show :: Point curve -> String
    $cshowList :: forall curve. [Point curve] -> ShowS
    showList :: [Point curve] -> ShowS
    Show, ReadPrec [Point curve]
    ReadPrec (Point curve)
    Int -> ReadS (Point curve)
    ReadS [Point curve]
    (Int -> ReadS (Point curve))
    -> ReadS [Point curve]
    -> ReadPrec (Point curve)
    -> ReadPrec [Point curve]
    -> Read (Point curve)
    forall curve. ReadPrec [Point curve]
    forall curve. ReadPrec (Point curve)
    forall curve. Int -> ReadS (Point curve)
    forall curve. ReadS [Point curve]
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: forall curve. Int -> ReadS (Point curve)
    readsPrec :: Int -> ReadS (Point curve)
    $creadList :: forall curve. ReadS [Point curve]
    readList :: ReadS [Point curve]
    $creadPrec :: forall curve. ReadPrec (Point curve)
    readPrec :: ReadPrec (Point curve)
    $creadListPrec :: forall curve. ReadPrec [Point curve]
    readListPrec :: ReadPrec [Point curve]
    Read, Point curve -> Point curve -> Bool
    (Point curve -> Point curve -> Bool)
    -> (Point curve -> Point curve -> Bool) -> Eq (Point curve)
    forall curve. Point curve -> Point curve -> Bool
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: forall curve. Point curve -> Point curve -> Bool
    == :: Point curve -> Point curve -> Bool
    $c/= :: forall curve. Point curve -> Point curve -> Bool
    /= :: Point curve -> Point curve -> Bool
    Eq, Typeable (Point curve)
    Typeable (Point curve) =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> Point curve -> c (Point curve))
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c (Point curve))
    -> (Point curve -> Constr)
    -> (Point curve -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c (Point curve)))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e))
        -> Maybe (c (Point curve)))
    -> ((forall b. Data b => b -> b) -> Point curve -> Point curve)
    -> (forall r r'.
        (r -> r' -> r)
        -> r -> (forall d. Data d => d -> r') -> Point curve -> r)
    -> (forall r r'.
        (r' -> r -> r)
        -> r -> (forall d. Data d => d -> r') -> Point curve -> r)
    -> (forall u. (forall d. Data d => d -> u) -> Point curve -> [u])
    -> (forall u.
        Int -> (forall d. Data d => d -> u) -> Point curve -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> Point curve -> m (Point curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> Point curve -> m (Point curve))
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> Point curve -> m (Point curve))
    -> Data (Point curve)
    Point curve -> Constr
    Point curve -> DataType
    (forall b. Data b => b -> b) -> Point curve -> Point curve
    forall curve. Data curve => Typeable (Point curve)
    forall curve. Data curve => Point curve -> Constr
    forall curve. Data curve => Point curve -> DataType
    forall curve.
    Data curve =>
    (forall b. Data b => b -> b) -> Point curve -> Point curve
    forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> Point curve -> u
    forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> Point curve -> [u]
    forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Point curve)
    forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Point curve -> c (Point curve)
    forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (Point curve))
    forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Point curve))
    forall a.
    Typeable a =>
    (forall (c :: * -> *).
     (forall d b. Data d => c (d -> b) -> d -> c b)
     -> (forall g. g -> c g) -> a -> c a)
    -> (forall (c :: * -> *).
        (forall b r. Data b => c (b -> r) -> c r)
        -> (forall r. r -> c r) -> Constr -> c a)
    -> (a -> Constr)
    -> (a -> DataType)
    -> (forall (t :: * -> *) (c :: * -> *).
        Typeable t =>
        (forall d. Data d => c (t d)) -> Maybe (c a))
    -> (forall (t :: * -> * -> *) (c :: * -> *).
        Typeable t =>
        (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
    -> ((forall b. Data b => b -> b) -> a -> a)
    -> (forall r r'.
        (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall r r'.
        (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
    -> (forall u. (forall d. Data d => d -> u) -> a -> [u])
    -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
    -> (forall (m :: * -> *).
        Monad m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> (forall (m :: * -> *).
        MonadPlus m =>
        (forall d. Data d => d -> m d) -> a -> m a)
    -> Data a
    forall u. Int -> (forall d. Data d => d -> u) -> Point curve -> u
    forall u. (forall d. Data d => d -> u) -> Point curve -> [u]
    forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Point curve)
    forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Point curve -> c (Point curve)
    forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (Point curve))
    forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Point curve))
    $cgfoldl :: forall curve (c :: * -> *).
    Data curve =>
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Point curve -> c (Point curve)
    gfoldl :: forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> Point curve -> c (Point curve)
    $cgunfold :: forall curve (c :: * -> *).
    Data curve =>
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Point curve)
    gunfold :: forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c (Point curve)
    $ctoConstr :: forall curve. Data curve => Point curve -> Constr
    toConstr :: Point curve -> Constr
    $cdataTypeOf :: forall curve. Data curve => Point curve -> DataType
    dataTypeOf :: Point curve -> DataType
    $cdataCast1 :: forall curve (t :: * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d. Data d => c (t d)) -> Maybe (c (Point curve))
    dataCast1 :: forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c (Point curve))
    $cdataCast2 :: forall curve (t :: * -> * -> *) (c :: * -> *).
    (Data curve, Typeable t) =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Point curve))
    dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c (Point curve))
    $cgmapT :: forall curve.
    Data curve =>
    (forall b. Data b => b -> b) -> Point curve -> Point curve
    gmapT :: (forall b. Data b => b -> b) -> Point curve -> Point curve
    $cgmapQl :: forall curve r r'.
    Data curve =>
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    gmapQl :: forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    $cgmapQr :: forall curve r r'.
    Data curve =>
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    gmapQr :: forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> Point curve -> r
    $cgmapQ :: forall curve u.
    Data curve =>
    (forall d. Data d => d -> u) -> Point curve -> [u]
    gmapQ :: forall u. (forall d. Data d => d -> u) -> Point curve -> [u]
    $cgmapQi :: forall curve u.
    Data curve =>
    Int -> (forall d. Data d => d -> u) -> Point curve -> u
    gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Point curve -> u
    $cgmapM :: forall curve (m :: * -> *).
    (Data curve, Monad m) =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    gmapM :: forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    $cgmapMp :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    gmapMp :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    $cgmapMo :: forall curve (m :: * -> *).
    (Data curve, MonadPlus m) =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    gmapMo :: forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> Point curve -> m (Point curve)
    Data)

    instance NFData (Point curve) where
        rnf :: Point curve -> ()
    rnf (Point Integer
    x Integer
    y) = Integer
    x Integer -> () -> ()
    forall a b. a -> b -> b
    `seq` Integer
    y Integer -> () -> ()
    forall a b. a -> b -> b
    `seq` ()
        rnf Point curve
    PointO = ()

    data SEC_p112r1 = SEC_p112r1 deriving (Int -> SEC_p112r1 -> ShowS
    [SEC_p112r1] -> ShowS
    SEC_p112r1 -> String
    (Int -> SEC_p112r1 -> ShowS)
    -> (SEC_p112r1 -> String)
    -> ([SEC_p112r1] -> ShowS)
    -> Show SEC_p112r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p112r1 -> ShowS
    showsPrec :: Int -> SEC_p112r1 -> ShowS
    $cshow :: SEC_p112r1 -> String
    show :: SEC_p112r1 -> String
    $cshowList :: [SEC_p112r1] -> ShowS
    showList :: [SEC_p112r1] -> ShowS
    Show, ReadPrec [SEC_p112r1]
    ReadPrec SEC_p112r1
    Int -> ReadS SEC_p112r1
    ReadS [SEC_p112r1]
    (Int -> ReadS SEC_p112r1)
    -> ReadS [SEC_p112r1]
    -> ReadPrec SEC_p112r1
    -> ReadPrec [SEC_p112r1]
    -> Read SEC_p112r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p112r1
    readsPrec :: Int -> ReadS SEC_p112r1
    $creadList :: ReadS [SEC_p112r1]
    readList :: ReadS [SEC_p112r1]
    $creadPrec :: ReadPrec SEC_p112r1
    readPrec :: ReadPrec SEC_p112r1
    $creadListPrec :: ReadPrec [SEC_p112r1]
    readListPrec :: ReadPrec [SEC_p112r1]
    Read, SEC_p112r1 -> SEC_p112r1 -> Bool
    (SEC_p112r1 -> SEC_p112r1 -> Bool)
    -> (SEC_p112r1 -> SEC_p112r1 -> Bool) -> Eq SEC_p112r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p112r1 -> SEC_p112r1 -> Bool
    == :: SEC_p112r1 -> SEC_p112r1 -> Bool
    $c/= :: SEC_p112r1 -> SEC_p112r1 -> Bool
    /= :: SEC_p112r1 -> SEC_p112r1 -> Bool
    Eq)
    data SEC_p112r2 = SEC_p112r2 deriving (Int -> SEC_p112r2 -> ShowS
    [SEC_p112r2] -> ShowS
    SEC_p112r2 -> String
    (Int -> SEC_p112r2 -> ShowS)
    -> (SEC_p112r2 -> String)
    -> ([SEC_p112r2] -> ShowS)
    -> Show SEC_p112r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p112r2 -> ShowS
    showsPrec :: Int -> SEC_p112r2 -> ShowS
    $cshow :: SEC_p112r2 -> String
    show :: SEC_p112r2 -> String
    $cshowList :: [SEC_p112r2] -> ShowS
    showList :: [SEC_p112r2] -> ShowS
    Show, ReadPrec [SEC_p112r2]
    ReadPrec SEC_p112r2
    Int -> ReadS SEC_p112r2
    ReadS [SEC_p112r2]
    (Int -> ReadS SEC_p112r2)
    -> ReadS [SEC_p112r2]
    -> ReadPrec SEC_p112r2
    -> ReadPrec [SEC_p112r2]
    -> Read SEC_p112r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p112r2
    readsPrec :: Int -> ReadS SEC_p112r2
    $creadList :: ReadS [SEC_p112r2]
    readList :: ReadS [SEC_p112r2]
    $creadPrec :: ReadPrec SEC_p112r2
    readPrec :: ReadPrec SEC_p112r2
    $creadListPrec :: ReadPrec [SEC_p112r2]
    readListPrec :: ReadPrec [SEC_p112r2]
    Read, SEC_p112r2 -> SEC_p112r2 -> Bool
    (SEC_p112r2 -> SEC_p112r2 -> Bool)
    -> (SEC_p112r2 -> SEC_p112r2 -> Bool) -> Eq SEC_p112r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p112r2 -> SEC_p112r2 -> Bool
    == :: SEC_p112r2 -> SEC_p112r2 -> Bool
    $c/= :: SEC_p112r2 -> SEC_p112r2 -> Bool
    /= :: SEC_p112r2 -> SEC_p112r2 -> Bool
    Eq)
    data SEC_p128r1 = SEC_p128r1 deriving (Int -> SEC_p128r1 -> ShowS
    [SEC_p128r1] -> ShowS
    SEC_p128r1 -> String
    (Int -> SEC_p128r1 -> ShowS)
    -> (SEC_p128r1 -> String)
    -> ([SEC_p128r1] -> ShowS)
    -> Show SEC_p128r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p128r1 -> ShowS
    showsPrec :: Int -> SEC_p128r1 -> ShowS
    $cshow :: SEC_p128r1 -> String
    show :: SEC_p128r1 -> String
    $cshowList :: [SEC_p128r1] -> ShowS
    showList :: [SEC_p128r1] -> ShowS
    Show, ReadPrec [SEC_p128r1]
    ReadPrec SEC_p128r1
    Int -> ReadS SEC_p128r1
    ReadS [SEC_p128r1]
    (Int -> ReadS SEC_p128r1)
    -> ReadS [SEC_p128r1]
    -> ReadPrec SEC_p128r1
    -> ReadPrec [SEC_p128r1]
    -> Read SEC_p128r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p128r1
    readsPrec :: Int -> ReadS SEC_p128r1
    $creadList :: ReadS [SEC_p128r1]
    readList :: ReadS [SEC_p128r1]
    $creadPrec :: ReadPrec SEC_p128r1
    readPrec :: ReadPrec SEC_p128r1
    $creadListPrec :: ReadPrec [SEC_p128r1]
    readListPrec :: ReadPrec [SEC_p128r1]
    Read, SEC_p128r1 -> SEC_p128r1 -> Bool
    (SEC_p128r1 -> SEC_p128r1 -> Bool)
    -> (SEC_p128r1 -> SEC_p128r1 -> Bool) -> Eq SEC_p128r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p128r1 -> SEC_p128r1 -> Bool
    == :: SEC_p128r1 -> SEC_p128r1 -> Bool
    $c/= :: SEC_p128r1 -> SEC_p128r1 -> Bool
    /= :: SEC_p128r1 -> SEC_p128r1 -> Bool
    Eq)
    data SEC_p128r2 = SEC_p128r2 deriving (Int -> SEC_p128r2 -> ShowS
    [SEC_p128r2] -> ShowS
    SEC_p128r2 -> String
    (Int -> SEC_p128r2 -> ShowS)
    -> (SEC_p128r2 -> String)
    -> ([SEC_p128r2] -> ShowS)
    -> Show SEC_p128r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p128r2 -> ShowS
    showsPrec :: Int -> SEC_p128r2 -> ShowS
    $cshow :: SEC_p128r2 -> String
    show :: SEC_p128r2 -> String
    $cshowList :: [SEC_p128r2] -> ShowS
    showList :: [SEC_p128r2] -> ShowS
    Show, ReadPrec [SEC_p128r2]
    ReadPrec SEC_p128r2
    Int -> ReadS SEC_p128r2
    ReadS [SEC_p128r2]
    (Int -> ReadS SEC_p128r2)
    -> ReadS [SEC_p128r2]
    -> ReadPrec SEC_p128r2
    -> ReadPrec [SEC_p128r2]
    -> Read SEC_p128r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p128r2
    readsPrec :: Int -> ReadS SEC_p128r2
    $creadList :: ReadS [SEC_p128r2]
    readList :: ReadS [SEC_p128r2]
    $creadPrec :: ReadPrec SEC_p128r2
    readPrec :: ReadPrec SEC_p128r2
    $creadListPrec :: ReadPrec [SEC_p128r2]
    readListPrec :: ReadPrec [SEC_p128r2]
    Read, SEC_p128r2 -> SEC_p128r2 -> Bool
    (SEC_p128r2 -> SEC_p128r2 -> Bool)
    -> (SEC_p128r2 -> SEC_p128r2 -> Bool) -> Eq SEC_p128r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p128r2 -> SEC_p128r2 -> Bool
    == :: SEC_p128r2 -> SEC_p128r2 -> Bool
    $c/= :: SEC_p128r2 -> SEC_p128r2 -> Bool
    /= :: SEC_p128r2 -> SEC_p128r2 -> Bool
    Eq)
    data SEC_p160k1 = SEC_p160k1 deriving (Int -> SEC_p160k1 -> ShowS
    [SEC_p160k1] -> ShowS
    SEC_p160k1 -> String
    (Int -> SEC_p160k1 -> ShowS)
    -> (SEC_p160k1 -> String)
    -> ([SEC_p160k1] -> ShowS)
    -> Show SEC_p160k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p160k1 -> ShowS
    showsPrec :: Int -> SEC_p160k1 -> ShowS
    $cshow :: SEC_p160k1 -> String
    show :: SEC_p160k1 -> String
    $cshowList :: [SEC_p160k1] -> ShowS
    showList :: [SEC_p160k1] -> ShowS
    Show, ReadPrec [SEC_p160k1]
    ReadPrec SEC_p160k1
    Int -> ReadS SEC_p160k1
    ReadS [SEC_p160k1]
    (Int -> ReadS SEC_p160k1)
    -> ReadS [SEC_p160k1]
    -> ReadPrec SEC_p160k1
    -> ReadPrec [SEC_p160k1]
    -> Read SEC_p160k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p160k1
    readsPrec :: Int -> ReadS SEC_p160k1
    $creadList :: ReadS [SEC_p160k1]
    readList :: ReadS [SEC_p160k1]
    $creadPrec :: ReadPrec SEC_p160k1
    readPrec :: ReadPrec SEC_p160k1
    $creadListPrec :: ReadPrec [SEC_p160k1]
    readListPrec :: ReadPrec [SEC_p160k1]
    Read, SEC_p160k1 -> SEC_p160k1 -> Bool
    (SEC_p160k1 -> SEC_p160k1 -> Bool)
    -> (SEC_p160k1 -> SEC_p160k1 -> Bool) -> Eq SEC_p160k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p160k1 -> SEC_p160k1 -> Bool
    == :: SEC_p160k1 -> SEC_p160k1 -> Bool
    $c/= :: SEC_p160k1 -> SEC_p160k1 -> Bool
    /= :: SEC_p160k1 -> SEC_p160k1 -> Bool
    Eq)
    data SEC_p160r1 = SEC_p160r1 deriving (Int -> SEC_p160r1 -> ShowS
    [SEC_p160r1] -> ShowS
    SEC_p160r1 -> String
    (Int -> SEC_p160r1 -> ShowS)
    -> (SEC_p160r1 -> String)
    -> ([SEC_p160r1] -> ShowS)
    -> Show SEC_p160r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p160r1 -> ShowS
    showsPrec :: Int -> SEC_p160r1 -> ShowS
    $cshow :: SEC_p160r1 -> String
    show :: SEC_p160r1 -> String
    $cshowList :: [SEC_p160r1] -> ShowS
    showList :: [SEC_p160r1] -> ShowS
    Show, ReadPrec [SEC_p160r1]
    ReadPrec SEC_p160r1
    Int -> ReadS SEC_p160r1
    ReadS [SEC_p160r1]
    (Int -> ReadS SEC_p160r1)
    -> ReadS [SEC_p160r1]
    -> ReadPrec SEC_p160r1
    -> ReadPrec [SEC_p160r1]
    -> Read SEC_p160r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p160r1
    readsPrec :: Int -> ReadS SEC_p160r1
    $creadList :: ReadS [SEC_p160r1]
    readList :: ReadS [SEC_p160r1]
    $creadPrec :: ReadPrec SEC_p160r1
    readPrec :: ReadPrec SEC_p160r1
    $creadListPrec :: ReadPrec [SEC_p160r1]
    readListPrec :: ReadPrec [SEC_p160r1]
    Read, SEC_p160r1 -> SEC_p160r1 -> Bool
    (SEC_p160r1 -> SEC_p160r1 -> Bool)
    -> (SEC_p160r1 -> SEC_p160r1 -> Bool) -> Eq SEC_p160r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p160r1 -> SEC_p160r1 -> Bool
    == :: SEC_p160r1 -> SEC_p160r1 -> Bool
    $c/= :: SEC_p160r1 -> SEC_p160r1 -> Bool
    /= :: SEC_p160r1 -> SEC_p160r1 -> Bool
    Eq)
    data SEC_p160r2 = SEC_p160r2 deriving (Int -> SEC_p160r2 -> ShowS
    [SEC_p160r2] -> ShowS
    SEC_p160r2 -> String
    (Int -> SEC_p160r2 -> ShowS)
    -> (SEC_p160r2 -> String)
    -> ([SEC_p160r2] -> ShowS)
    -> Show SEC_p160r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p160r2 -> ShowS
    showsPrec :: Int -> SEC_p160r2 -> ShowS
    $cshow :: SEC_p160r2 -> String
    show :: SEC_p160r2 -> String
    $cshowList :: [SEC_p160r2] -> ShowS
    showList :: [SEC_p160r2] -> ShowS
    Show, ReadPrec [SEC_p160r2]
    ReadPrec SEC_p160r2
    Int -> ReadS SEC_p160r2
    ReadS [SEC_p160r2]
    (Int -> ReadS SEC_p160r2)
    -> ReadS [SEC_p160r2]
    -> ReadPrec SEC_p160r2
    -> ReadPrec [SEC_p160r2]
    -> Read SEC_p160r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p160r2
    readsPrec :: Int -> ReadS SEC_p160r2
    $creadList :: ReadS [SEC_p160r2]
    readList :: ReadS [SEC_p160r2]
    $creadPrec :: ReadPrec SEC_p160r2
    readPrec :: ReadPrec SEC_p160r2
    $creadListPrec :: ReadPrec [SEC_p160r2]
    readListPrec :: ReadPrec [SEC_p160r2]
    Read, SEC_p160r2 -> SEC_p160r2 -> Bool
    (SEC_p160r2 -> SEC_p160r2 -> Bool)
    -> (SEC_p160r2 -> SEC_p160r2 -> Bool) -> Eq SEC_p160r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p160r2 -> SEC_p160r2 -> Bool
    == :: SEC_p160r2 -> SEC_p160r2 -> Bool
    $c/= :: SEC_p160r2 -> SEC_p160r2 -> Bool
    /= :: SEC_p160r2 -> SEC_p160r2 -> Bool
    Eq)
    data SEC_p192k1 = SEC_p192k1 deriving (Int -> SEC_p192k1 -> ShowS
    [SEC_p192k1] -> ShowS
    SEC_p192k1 -> String
    (Int -> SEC_p192k1 -> ShowS)
    -> (SEC_p192k1 -> String)
    -> ([SEC_p192k1] -> ShowS)
    -> Show SEC_p192k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p192k1 -> ShowS
    showsPrec :: Int -> SEC_p192k1 -> ShowS
    $cshow :: SEC_p192k1 -> String
    show :: SEC_p192k1 -> String
    $cshowList :: [SEC_p192k1] -> ShowS
    showList :: [SEC_p192k1] -> ShowS
    Show, ReadPrec [SEC_p192k1]
    ReadPrec SEC_p192k1
    Int -> ReadS SEC_p192k1
    ReadS [SEC_p192k1]
    (Int -> ReadS SEC_p192k1)
    -> ReadS [SEC_p192k1]
    -> ReadPrec SEC_p192k1
    -> ReadPrec [SEC_p192k1]
    -> Read SEC_p192k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p192k1
    readsPrec :: Int -> ReadS SEC_p192k1
    $creadList :: ReadS [SEC_p192k1]
    readList :: ReadS [SEC_p192k1]
    $creadPrec :: ReadPrec SEC_p192k1
    readPrec :: ReadPrec SEC_p192k1
    $creadListPrec :: ReadPrec [SEC_p192k1]
    readListPrec :: ReadPrec [SEC_p192k1]
    Read, SEC_p192k1 -> SEC_p192k1 -> Bool
    (SEC_p192k1 -> SEC_p192k1 -> Bool)
    -> (SEC_p192k1 -> SEC_p192k1 -> Bool) -> Eq SEC_p192k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p192k1 -> SEC_p192k1 -> Bool
    == :: SEC_p192k1 -> SEC_p192k1 -> Bool
    $c/= :: SEC_p192k1 -> SEC_p192k1 -> Bool
    /= :: SEC_p192k1 -> SEC_p192k1 -> Bool
    Eq)
    data SEC_p192r1 = SEC_p192r1 deriving (Int -> SEC_p192r1 -> ShowS
    [SEC_p192r1] -> ShowS
    SEC_p192r1 -> String
    (Int -> SEC_p192r1 -> ShowS)
    -> (SEC_p192r1 -> String)
    -> ([SEC_p192r1] -> ShowS)
    -> Show SEC_p192r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p192r1 -> ShowS
    showsPrec :: Int -> SEC_p192r1 -> ShowS
    $cshow :: SEC_p192r1 -> String
    show :: SEC_p192r1 -> String
    $cshowList :: [SEC_p192r1] -> ShowS
    showList :: [SEC_p192r1] -> ShowS
    Show, ReadPrec [SEC_p192r1]
    ReadPrec SEC_p192r1
    Int -> ReadS SEC_p192r1
    ReadS [SEC_p192r1]
    (Int -> ReadS SEC_p192r1)
    -> ReadS [SEC_p192r1]
    -> ReadPrec SEC_p192r1
    -> ReadPrec [SEC_p192r1]
    -> Read SEC_p192r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p192r1
    readsPrec :: Int -> ReadS SEC_p192r1
    $creadList :: ReadS [SEC_p192r1]
    readList :: ReadS [SEC_p192r1]
    $creadPrec :: ReadPrec SEC_p192r1
    readPrec :: ReadPrec SEC_p192r1
    $creadListPrec :: ReadPrec [SEC_p192r1]
    readListPrec :: ReadPrec [SEC_p192r1]
    Read, SEC_p192r1 -> SEC_p192r1 -> Bool
    (SEC_p192r1 -> SEC_p192r1 -> Bool)
    -> (SEC_p192r1 -> SEC_p192r1 -> Bool) -> Eq SEC_p192r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p192r1 -> SEC_p192r1 -> Bool
    == :: SEC_p192r1 -> SEC_p192r1 -> Bool
    $c/= :: SEC_p192r1 -> SEC_p192r1 -> Bool
    /= :: SEC_p192r1 -> SEC_p192r1 -> Bool
    Eq)
    data SEC_p224k1 = SEC_p224k1 deriving (Int -> SEC_p224k1 -> ShowS
    [SEC_p224k1] -> ShowS
    SEC_p224k1 -> String
    (Int -> SEC_p224k1 -> ShowS)
    -> (SEC_p224k1 -> String)
    -> ([SEC_p224k1] -> ShowS)
    -> Show SEC_p224k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p224k1 -> ShowS
    showsPrec :: Int -> SEC_p224k1 -> ShowS
    $cshow :: SEC_p224k1 -> String
    show :: SEC_p224k1 -> String
    $cshowList :: [SEC_p224k1] -> ShowS
    showList :: [SEC_p224k1] -> ShowS
    Show, ReadPrec [SEC_p224k1]
    ReadPrec SEC_p224k1
    Int -> ReadS SEC_p224k1
    ReadS [SEC_p224k1]
    (Int -> ReadS SEC_p224k1)
    -> ReadS [SEC_p224k1]
    -> ReadPrec SEC_p224k1
    -> ReadPrec [SEC_p224k1]
    -> Read SEC_p224k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p224k1
    readsPrec :: Int -> ReadS SEC_p224k1
    $creadList :: ReadS [SEC_p224k1]
    readList :: ReadS [SEC_p224k1]
    $creadPrec :: ReadPrec SEC_p224k1
    readPrec :: ReadPrec SEC_p224k1
    $creadListPrec :: ReadPrec [SEC_p224k1]
    readListPrec :: ReadPrec [SEC_p224k1]
    Read, SEC_p224k1 -> SEC_p224k1 -> Bool
    (SEC_p224k1 -> SEC_p224k1 -> Bool)
    -> (SEC_p224k1 -> SEC_p224k1 -> Bool) -> Eq SEC_p224k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p224k1 -> SEC_p224k1 -> Bool
    == :: SEC_p224k1 -> SEC_p224k1 -> Bool
    $c/= :: SEC_p224k1 -> SEC_p224k1 -> Bool
    /= :: SEC_p224k1 -> SEC_p224k1 -> Bool
    Eq)
    data SEC_p224r1 = SEC_p224r1 deriving (Int -> SEC_p224r1 -> ShowS
    [SEC_p224r1] -> ShowS
    SEC_p224r1 -> String
    (Int -> SEC_p224r1 -> ShowS)
    -> (SEC_p224r1 -> String)
    -> ([SEC_p224r1] -> ShowS)
    -> Show SEC_p224r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p224r1 -> ShowS
    showsPrec :: Int -> SEC_p224r1 -> ShowS
    $cshow :: SEC_p224r1 -> String
    show :: SEC_p224r1 -> String
    $cshowList :: [SEC_p224r1] -> ShowS
    showList :: [SEC_p224r1] -> ShowS
    Show, ReadPrec [SEC_p224r1]
    ReadPrec SEC_p224r1
    Int -> ReadS SEC_p224r1
    ReadS [SEC_p224r1]
    (Int -> ReadS SEC_p224r1)
    -> ReadS [SEC_p224r1]
    -> ReadPrec SEC_p224r1
    -> ReadPrec [SEC_p224r1]
    -> Read SEC_p224r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p224r1
    readsPrec :: Int -> ReadS SEC_p224r1
    $creadList :: ReadS [SEC_p224r1]
    readList :: ReadS [SEC_p224r1]
    $creadPrec :: ReadPrec SEC_p224r1
    readPrec :: ReadPrec SEC_p224r1
    $creadListPrec :: ReadPrec [SEC_p224r1]
    readListPrec :: ReadPrec [SEC_p224r1]
    Read, SEC_p224r1 -> SEC_p224r1 -> Bool
    (SEC_p224r1 -> SEC_p224r1 -> Bool)
    -> (SEC_p224r1 -> SEC_p224r1 -> Bool) -> Eq SEC_p224r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p224r1 -> SEC_p224r1 -> Bool
    == :: SEC_p224r1 -> SEC_p224r1 -> Bool
    $c/= :: SEC_p224r1 -> SEC_p224r1 -> Bool
    /= :: SEC_p224r1 -> SEC_p224r1 -> Bool
    Eq)
    data SEC_p256k1 = SEC_p256k1 deriving (Int -> SEC_p256k1 -> ShowS
    [SEC_p256k1] -> ShowS
    SEC_p256k1 -> String
    (Int -> SEC_p256k1 -> ShowS)
    -> (SEC_p256k1 -> String)
    -> ([SEC_p256k1] -> ShowS)
    -> Show SEC_p256k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p256k1 -> ShowS
    showsPrec :: Int -> SEC_p256k1 -> ShowS
    $cshow :: SEC_p256k1 -> String
    show :: SEC_p256k1 -> String
    $cshowList :: [SEC_p256k1] -> ShowS
    showList :: [SEC_p256k1] -> ShowS
    Show, ReadPrec [SEC_p256k1]
    ReadPrec SEC_p256k1
    Int -> ReadS SEC_p256k1
    ReadS [SEC_p256k1]
    (Int -> ReadS SEC_p256k1)
    -> ReadS [SEC_p256k1]
    -> ReadPrec SEC_p256k1
    -> ReadPrec [SEC_p256k1]
    -> Read SEC_p256k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p256k1
    readsPrec :: Int -> ReadS SEC_p256k1
    $creadList :: ReadS [SEC_p256k1]
    readList :: ReadS [SEC_p256k1]
    $creadPrec :: ReadPrec SEC_p256k1
    readPrec :: ReadPrec SEC_p256k1
    $creadListPrec :: ReadPrec [SEC_p256k1]
    readListPrec :: ReadPrec [SEC_p256k1]
    Read, SEC_p256k1 -> SEC_p256k1 -> Bool
    (SEC_p256k1 -> SEC_p256k1 -> Bool)
    -> (SEC_p256k1 -> SEC_p256k1 -> Bool) -> Eq SEC_p256k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p256k1 -> SEC_p256k1 -> Bool
    == :: SEC_p256k1 -> SEC_p256k1 -> Bool
    $c/= :: SEC_p256k1 -> SEC_p256k1 -> Bool
    /= :: SEC_p256k1 -> SEC_p256k1 -> Bool
    Eq)
    data SEC_p256r1 = SEC_p256r1 deriving (Int -> SEC_p256r1 -> ShowS
    [SEC_p256r1] -> ShowS
    SEC_p256r1 -> String
    (Int -> SEC_p256r1 -> ShowS)
    -> (SEC_p256r1 -> String)
    -> ([SEC_p256r1] -> ShowS)
    -> Show SEC_p256r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p256r1 -> ShowS
    showsPrec :: Int -> SEC_p256r1 -> ShowS
    $cshow :: SEC_p256r1 -> String
    show :: SEC_p256r1 -> String
    $cshowList :: [SEC_p256r1] -> ShowS
    showList :: [SEC_p256r1] -> ShowS
    Show, ReadPrec [SEC_p256r1]
    ReadPrec SEC_p256r1
    Int -> ReadS SEC_p256r1
    ReadS [SEC_p256r1]
    (Int -> ReadS SEC_p256r1)
    -> ReadS [SEC_p256r1]
    -> ReadPrec SEC_p256r1
    -> ReadPrec [SEC_p256r1]
    -> Read SEC_p256r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p256r1
    readsPrec :: Int -> ReadS SEC_p256r1
    $creadList :: ReadS [SEC_p256r1]
    readList :: ReadS [SEC_p256r1]
    $creadPrec :: ReadPrec SEC_p256r1
    readPrec :: ReadPrec SEC_p256r1
    $creadListPrec :: ReadPrec [SEC_p256r1]
    readListPrec :: ReadPrec [SEC_p256r1]
    Read, SEC_p256r1 -> SEC_p256r1 -> Bool
    (SEC_p256r1 -> SEC_p256r1 -> Bool)
    -> (SEC_p256r1 -> SEC_p256r1 -> Bool) -> Eq SEC_p256r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p256r1 -> SEC_p256r1 -> Bool
    == :: SEC_p256r1 -> SEC_p256r1 -> Bool
    $c/= :: SEC_p256r1 -> SEC_p256r1 -> Bool
    /= :: SEC_p256r1 -> SEC_p256r1 -> Bool
    Eq)
    data SEC_p384r1 = SEC_p384r1 deriving (Int -> SEC_p384r1 -> ShowS
    [SEC_p384r1] -> ShowS
    SEC_p384r1 -> String
    (Int -> SEC_p384r1 -> ShowS)
    -> (SEC_p384r1 -> String)
    -> ([SEC_p384r1] -> ShowS)
    -> Show SEC_p384r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p384r1 -> ShowS
    showsPrec :: Int -> SEC_p384r1 -> ShowS
    $cshow :: SEC_p384r1 -> String
    show :: SEC_p384r1 -> String
    $cshowList :: [SEC_p384r1] -> ShowS
    showList :: [SEC_p384r1] -> ShowS
    Show, ReadPrec [SEC_p384r1]
    ReadPrec SEC_p384r1
    Int -> ReadS SEC_p384r1
    ReadS [SEC_p384r1]
    (Int -> ReadS SEC_p384r1)
    -> ReadS [SEC_p384r1]
    -> ReadPrec SEC_p384r1
    -> ReadPrec [SEC_p384r1]
    -> Read SEC_p384r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p384r1
    readsPrec :: Int -> ReadS SEC_p384r1
    $creadList :: ReadS [SEC_p384r1]
    readList :: ReadS [SEC_p384r1]
    $creadPrec :: ReadPrec SEC_p384r1
    readPrec :: ReadPrec SEC_p384r1
    $creadListPrec :: ReadPrec [SEC_p384r1]
    readListPrec :: ReadPrec [SEC_p384r1]
    Read, SEC_p384r1 -> SEC_p384r1 -> Bool
    (SEC_p384r1 -> SEC_p384r1 -> Bool)
    -> (SEC_p384r1 -> SEC_p384r1 -> Bool) -> Eq SEC_p384r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p384r1 -> SEC_p384r1 -> Bool
    == :: SEC_p384r1 -> SEC_p384r1 -> Bool
    $c/= :: SEC_p384r1 -> SEC_p384r1 -> Bool
    /= :: SEC_p384r1 -> SEC_p384r1 -> Bool
    Eq)
    data SEC_p521r1 = SEC_p521r1 deriving (Int -> SEC_p521r1 -> ShowS
    [SEC_p521r1] -> ShowS
    SEC_p521r1 -> String
    (Int -> SEC_p521r1 -> ShowS)
    -> (SEC_p521r1 -> String)
    -> ([SEC_p521r1] -> ShowS)
    -> Show SEC_p521r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_p521r1 -> ShowS
    showsPrec :: Int -> SEC_p521r1 -> ShowS
    $cshow :: SEC_p521r1 -> String
    show :: SEC_p521r1 -> String
    $cshowList :: [SEC_p521r1] -> ShowS
    showList :: [SEC_p521r1] -> ShowS
    Show, ReadPrec [SEC_p521r1]
    ReadPrec SEC_p521r1
    Int -> ReadS SEC_p521r1
    ReadS [SEC_p521r1]
    (Int -> ReadS SEC_p521r1)
    -> ReadS [SEC_p521r1]
    -> ReadPrec SEC_p521r1
    -> ReadPrec [SEC_p521r1]
    -> Read SEC_p521r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_p521r1
    readsPrec :: Int -> ReadS SEC_p521r1
    $creadList :: ReadS [SEC_p521r1]
    readList :: ReadS [SEC_p521r1]
    $creadPrec :: ReadPrec SEC_p521r1
    readPrec :: ReadPrec SEC_p521r1
    $creadListPrec :: ReadPrec [SEC_p521r1]
    readListPrec :: ReadPrec [SEC_p521r1]
    Read, SEC_p521r1 -> SEC_p521r1 -> Bool
    (SEC_p521r1 -> SEC_p521r1 -> Bool)
    -> (SEC_p521r1 -> SEC_p521r1 -> Bool) -> Eq SEC_p521r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_p521r1 -> SEC_p521r1 -> Bool
    == :: SEC_p521r1 -> SEC_p521r1 -> Bool
    $c/= :: SEC_p521r1 -> SEC_p521r1 -> Bool
    /= :: SEC_p521r1 -> SEC_p521r1 -> Bool
    Eq)
    data SEC_t113r1 = SEC_t113r1 deriving (Int -> SEC_t113r1 -> ShowS
    [SEC_t113r1] -> ShowS
    SEC_t113r1 -> String
    (Int -> SEC_t113r1 -> ShowS)
    -> (SEC_t113r1 -> String)
    -> ([SEC_t113r1] -> ShowS)
    -> Show SEC_t113r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t113r1 -> ShowS
    showsPrec :: Int -> SEC_t113r1 -> ShowS
    $cshow :: SEC_t113r1 -> String
    show :: SEC_t113r1 -> String
    $cshowList :: [SEC_t113r1] -> ShowS
    showList :: [SEC_t113r1] -> ShowS
    Show, ReadPrec [SEC_t113r1]
    ReadPrec SEC_t113r1
    Int -> ReadS SEC_t113r1
    ReadS [SEC_t113r1]
    (Int -> ReadS SEC_t113r1)
    -> ReadS [SEC_t113r1]
    -> ReadPrec SEC_t113r1
    -> ReadPrec [SEC_t113r1]
    -> Read SEC_t113r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t113r1
    readsPrec :: Int -> ReadS SEC_t113r1
    $creadList :: ReadS [SEC_t113r1]
    readList :: ReadS [SEC_t113r1]
    $creadPrec :: ReadPrec SEC_t113r1
    readPrec :: ReadPrec SEC_t113r1
    $creadListPrec :: ReadPrec [SEC_t113r1]
    readListPrec :: ReadPrec [SEC_t113r1]
    Read, SEC_t113r1 -> SEC_t113r1 -> Bool
    (SEC_t113r1 -> SEC_t113r1 -> Bool)
    -> (SEC_t113r1 -> SEC_t113r1 -> Bool) -> Eq SEC_t113r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t113r1 -> SEC_t113r1 -> Bool
    == :: SEC_t113r1 -> SEC_t113r1 -> Bool
    $c/= :: SEC_t113r1 -> SEC_t113r1 -> Bool
    /= :: SEC_t113r1 -> SEC_t113r1 -> Bool
    Eq)
    data SEC_t113r2 = SEC_t113r2 deriving (Int -> SEC_t113r2 -> ShowS
    [SEC_t113r2] -> ShowS
    SEC_t113r2 -> String
    (Int -> SEC_t113r2 -> ShowS)
    -> (SEC_t113r2 -> String)
    -> ([SEC_t113r2] -> ShowS)
    -> Show SEC_t113r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t113r2 -> ShowS
    showsPrec :: Int -> SEC_t113r2 -> ShowS
    $cshow :: SEC_t113r2 -> String
    show :: SEC_t113r2 -> String
    $cshowList :: [SEC_t113r2] -> ShowS
    showList :: [SEC_t113r2] -> ShowS
    Show, ReadPrec [SEC_t113r2]
    ReadPrec SEC_t113r2
    Int -> ReadS SEC_t113r2
    ReadS [SEC_t113r2]
    (Int -> ReadS SEC_t113r2)
    -> ReadS [SEC_t113r2]
    -> ReadPrec SEC_t113r2
    -> ReadPrec [SEC_t113r2]
    -> Read SEC_t113r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t113r2
    readsPrec :: Int -> ReadS SEC_t113r2
    $creadList :: ReadS [SEC_t113r2]
    readList :: ReadS [SEC_t113r2]
    $creadPrec :: ReadPrec SEC_t113r2
    readPrec :: ReadPrec SEC_t113r2
    $creadListPrec :: ReadPrec [SEC_t113r2]
    readListPrec :: ReadPrec [SEC_t113r2]
    Read, SEC_t113r2 -> SEC_t113r2 -> Bool
    (SEC_t113r2 -> SEC_t113r2 -> Bool)
    -> (SEC_t113r2 -> SEC_t113r2 -> Bool) -> Eq SEC_t113r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t113r2 -> SEC_t113r2 -> Bool
    == :: SEC_t113r2 -> SEC_t113r2 -> Bool
    $c/= :: SEC_t113r2 -> SEC_t113r2 -> Bool
    /= :: SEC_t113r2 -> SEC_t113r2 -> Bool
    Eq)
    data SEC_t131r1 = SEC_t131r1 deriving (Int -> SEC_t131r1 -> ShowS
    [SEC_t131r1] -> ShowS
    SEC_t131r1 -> String
    (Int -> SEC_t131r1 -> ShowS)
    -> (SEC_t131r1 -> String)
    -> ([SEC_t131r1] -> ShowS)
    -> Show SEC_t131r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t131r1 -> ShowS
    showsPrec :: Int -> SEC_t131r1 -> ShowS
    $cshow :: SEC_t131r1 -> String
    show :: SEC_t131r1 -> String
    $cshowList :: [SEC_t131r1] -> ShowS
    showList :: [SEC_t131r1] -> ShowS
    Show, ReadPrec [SEC_t131r1]
    ReadPrec SEC_t131r1
    Int -> ReadS SEC_t131r1
    ReadS [SEC_t131r1]
    (Int -> ReadS SEC_t131r1)
    -> ReadS [SEC_t131r1]
    -> ReadPrec SEC_t131r1
    -> ReadPrec [SEC_t131r1]
    -> Read SEC_t131r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t131r1
    readsPrec :: Int -> ReadS SEC_t131r1
    $creadList :: ReadS [SEC_t131r1]
    readList :: ReadS [SEC_t131r1]
    $creadPrec :: ReadPrec SEC_t131r1
    readPrec :: ReadPrec SEC_t131r1
    $creadListPrec :: ReadPrec [SEC_t131r1]
    readListPrec :: ReadPrec [SEC_t131r1]
    Read, SEC_t131r1 -> SEC_t131r1 -> Bool
    (SEC_t131r1 -> SEC_t131r1 -> Bool)
    -> (SEC_t131r1 -> SEC_t131r1 -> Bool) -> Eq SEC_t131r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t131r1 -> SEC_t131r1 -> Bool
    == :: SEC_t131r1 -> SEC_t131r1 -> Bool
    $c/= :: SEC_t131r1 -> SEC_t131r1 -> Bool
    /= :: SEC_t131r1 -> SEC_t131r1 -> Bool
    Eq)
    data SEC_t131r2 = SEC_t131r2 deriving (Int -> SEC_t131r2 -> ShowS
    [SEC_t131r2] -> ShowS
    SEC_t131r2 -> String
    (Int -> SEC_t131r2 -> ShowS)
    -> (SEC_t131r2 -> String)
    -> ([SEC_t131r2] -> ShowS)
    -> Show SEC_t131r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t131r2 -> ShowS
    showsPrec :: Int -> SEC_t131r2 -> ShowS
    $cshow :: SEC_t131r2 -> String
    show :: SEC_t131r2 -> String
    $cshowList :: [SEC_t131r2] -> ShowS
    showList :: [SEC_t131r2] -> ShowS
    Show, ReadPrec [SEC_t131r2]
    ReadPrec SEC_t131r2
    Int -> ReadS SEC_t131r2
    ReadS [SEC_t131r2]
    (Int -> ReadS SEC_t131r2)
    -> ReadS [SEC_t131r2]
    -> ReadPrec SEC_t131r2
    -> ReadPrec [SEC_t131r2]
    -> Read SEC_t131r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t131r2
    readsPrec :: Int -> ReadS SEC_t131r2
    $creadList :: ReadS [SEC_t131r2]
    readList :: ReadS [SEC_t131r2]
    $creadPrec :: ReadPrec SEC_t131r2
    readPrec :: ReadPrec SEC_t131r2
    $creadListPrec :: ReadPrec [SEC_t131r2]
    readListPrec :: ReadPrec [SEC_t131r2]
    Read, SEC_t131r2 -> SEC_t131r2 -> Bool
    (SEC_t131r2 -> SEC_t131r2 -> Bool)
    -> (SEC_t131r2 -> SEC_t131r2 -> Bool) -> Eq SEC_t131r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t131r2 -> SEC_t131r2 -> Bool
    == :: SEC_t131r2 -> SEC_t131r2 -> Bool
    $c/= :: SEC_t131r2 -> SEC_t131r2 -> Bool
    /= :: SEC_t131r2 -> SEC_t131r2 -> Bool
    Eq)
    data SEC_t163k1 = SEC_t163k1 deriving (Int -> SEC_t163k1 -> ShowS
    [SEC_t163k1] -> ShowS
    SEC_t163k1 -> String
    (Int -> SEC_t163k1 -> ShowS)
    -> (SEC_t163k1 -> String)
    -> ([SEC_t163k1] -> ShowS)
    -> Show SEC_t163k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t163k1 -> ShowS
    showsPrec :: Int -> SEC_t163k1 -> ShowS
    $cshow :: SEC_t163k1 -> String
    show :: SEC_t163k1 -> String
    $cshowList :: [SEC_t163k1] -> ShowS
    showList :: [SEC_t163k1] -> ShowS
    Show, ReadPrec [SEC_t163k1]
    ReadPrec SEC_t163k1
    Int -> ReadS SEC_t163k1
    ReadS [SEC_t163k1]
    (Int -> ReadS SEC_t163k1)
    -> ReadS [SEC_t163k1]
    -> ReadPrec SEC_t163k1
    -> ReadPrec [SEC_t163k1]
    -> Read SEC_t163k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t163k1
    readsPrec :: Int -> ReadS SEC_t163k1
    $creadList :: ReadS [SEC_t163k1]
    readList :: ReadS [SEC_t163k1]
    $creadPrec :: ReadPrec SEC_t163k1
    readPrec :: ReadPrec SEC_t163k1
    $creadListPrec :: ReadPrec [SEC_t163k1]
    readListPrec :: ReadPrec [SEC_t163k1]
    Read, SEC_t163k1 -> SEC_t163k1 -> Bool
    (SEC_t163k1 -> SEC_t163k1 -> Bool)
    -> (SEC_t163k1 -> SEC_t163k1 -> Bool) -> Eq SEC_t163k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t163k1 -> SEC_t163k1 -> Bool
    == :: SEC_t163k1 -> SEC_t163k1 -> Bool
    $c/= :: SEC_t163k1 -> SEC_t163k1 -> Bool
    /= :: SEC_t163k1 -> SEC_t163k1 -> Bool
    Eq)
    data SEC_t163r1 = SEC_t163r1 deriving (Int -> SEC_t163r1 -> ShowS
    [SEC_t163r1] -> ShowS
    SEC_t163r1 -> String
    (Int -> SEC_t163r1 -> ShowS)
    -> (SEC_t163r1 -> String)
    -> ([SEC_t163r1] -> ShowS)
    -> Show SEC_t163r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t163r1 -> ShowS
    showsPrec :: Int -> SEC_t163r1 -> ShowS
    $cshow :: SEC_t163r1 -> String
    show :: SEC_t163r1 -> String
    $cshowList :: [SEC_t163r1] -> ShowS
    showList :: [SEC_t163r1] -> ShowS
    Show, ReadPrec [SEC_t163r1]
    ReadPrec SEC_t163r1
    Int -> ReadS SEC_t163r1
    ReadS [SEC_t163r1]
    (Int -> ReadS SEC_t163r1)
    -> ReadS [SEC_t163r1]
    -> ReadPrec SEC_t163r1
    -> ReadPrec [SEC_t163r1]
    -> Read SEC_t163r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t163r1
    readsPrec :: Int -> ReadS SEC_t163r1
    $creadList :: ReadS [SEC_t163r1]
    readList :: ReadS [SEC_t163r1]
    $creadPrec :: ReadPrec SEC_t163r1
    readPrec :: ReadPrec SEC_t163r1
    $creadListPrec :: ReadPrec [SEC_t163r1]
    readListPrec :: ReadPrec [SEC_t163r1]
    Read, SEC_t163r1 -> SEC_t163r1 -> Bool
    (SEC_t163r1 -> SEC_t163r1 -> Bool)
    -> (SEC_t163r1 -> SEC_t163r1 -> Bool) -> Eq SEC_t163r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t163r1 -> SEC_t163r1 -> Bool
    == :: SEC_t163r1 -> SEC_t163r1 -> Bool
    $c/= :: SEC_t163r1 -> SEC_t163r1 -> Bool
    /= :: SEC_t163r1 -> SEC_t163r1 -> Bool
    Eq)
    data SEC_t163r2 = SEC_t163r2 deriving (Int -> SEC_t163r2 -> ShowS
    [SEC_t163r2] -> ShowS
    SEC_t163r2 -> String
    (Int -> SEC_t163r2 -> ShowS)
    -> (SEC_t163r2 -> String)
    -> ([SEC_t163r2] -> ShowS)
    -> Show SEC_t163r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t163r2 -> ShowS
    showsPrec :: Int -> SEC_t163r2 -> ShowS
    $cshow :: SEC_t163r2 -> String
    show :: SEC_t163r2 -> String
    $cshowList :: [SEC_t163r2] -> ShowS
    showList :: [SEC_t163r2] -> ShowS
    Show, ReadPrec [SEC_t163r2]
    ReadPrec SEC_t163r2
    Int -> ReadS SEC_t163r2
    ReadS [SEC_t163r2]
    (Int -> ReadS SEC_t163r2)
    -> ReadS [SEC_t163r2]
    -> ReadPrec SEC_t163r2
    -> ReadPrec [SEC_t163r2]
    -> Read SEC_t163r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t163r2
    readsPrec :: Int -> ReadS SEC_t163r2
    $creadList :: ReadS [SEC_t163r2]
    readList :: ReadS [SEC_t163r2]
    $creadPrec :: ReadPrec SEC_t163r2
    readPrec :: ReadPrec SEC_t163r2
    $creadListPrec :: ReadPrec [SEC_t163r2]
    readListPrec :: ReadPrec [SEC_t163r2]
    Read, SEC_t163r2 -> SEC_t163r2 -> Bool
    (SEC_t163r2 -> SEC_t163r2 -> Bool)
    -> (SEC_t163r2 -> SEC_t163r2 -> Bool) -> Eq SEC_t163r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t163r2 -> SEC_t163r2 -> Bool
    == :: SEC_t163r2 -> SEC_t163r2 -> Bool
    $c/= :: SEC_t163r2 -> SEC_t163r2 -> Bool
    /= :: SEC_t163r2 -> SEC_t163r2 -> Bool
    Eq)
    data SEC_t193r1 = SEC_t193r1 deriving (Int -> SEC_t193r1 -> ShowS
    [SEC_t193r1] -> ShowS
    SEC_t193r1 -> String
    (Int -> SEC_t193r1 -> ShowS)
    -> (SEC_t193r1 -> String)
    -> ([SEC_t193r1] -> ShowS)
    -> Show SEC_t193r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t193r1 -> ShowS
    showsPrec :: Int -> SEC_t193r1 -> ShowS
    $cshow :: SEC_t193r1 -> String
    show :: SEC_t193r1 -> String
    $cshowList :: [SEC_t193r1] -> ShowS
    showList :: [SEC_t193r1] -> ShowS
    Show, ReadPrec [SEC_t193r1]
    ReadPrec SEC_t193r1
    Int -> ReadS SEC_t193r1
    ReadS [SEC_t193r1]
    (Int -> ReadS SEC_t193r1)
    -> ReadS [SEC_t193r1]
    -> ReadPrec SEC_t193r1
    -> ReadPrec [SEC_t193r1]
    -> Read SEC_t193r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t193r1
    readsPrec :: Int -> ReadS SEC_t193r1
    $creadList :: ReadS [SEC_t193r1]
    readList :: ReadS [SEC_t193r1]
    $creadPrec :: ReadPrec SEC_t193r1
    readPrec :: ReadPrec SEC_t193r1
    $creadListPrec :: ReadPrec [SEC_t193r1]
    readListPrec :: ReadPrec [SEC_t193r1]
    Read, SEC_t193r1 -> SEC_t193r1 -> Bool
    (SEC_t193r1 -> SEC_t193r1 -> Bool)
    -> (SEC_t193r1 -> SEC_t193r1 -> Bool) -> Eq SEC_t193r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t193r1 -> SEC_t193r1 -> Bool
    == :: SEC_t193r1 -> SEC_t193r1 -> Bool
    $c/= :: SEC_t193r1 -> SEC_t193r1 -> Bool
    /= :: SEC_t193r1 -> SEC_t193r1 -> Bool
    Eq)
    data SEC_t193r2 = SEC_t193r2 deriving (Int -> SEC_t193r2 -> ShowS
    [SEC_t193r2] -> ShowS
    SEC_t193r2 -> String
    (Int -> SEC_t193r2 -> ShowS)
    -> (SEC_t193r2 -> String)
    -> ([SEC_t193r2] -> ShowS)
    -> Show SEC_t193r2
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t193r2 -> ShowS
    showsPrec :: Int -> SEC_t193r2 -> ShowS
    $cshow :: SEC_t193r2 -> String
    show :: SEC_t193r2 -> String
    $cshowList :: [SEC_t193r2] -> ShowS
    showList :: [SEC_t193r2] -> ShowS
    Show, ReadPrec [SEC_t193r2]
    ReadPrec SEC_t193r2
    Int -> ReadS SEC_t193r2
    ReadS [SEC_t193r2]
    (Int -> ReadS SEC_t193r2)
    -> ReadS [SEC_t193r2]
    -> ReadPrec SEC_t193r2
    -> ReadPrec [SEC_t193r2]
    -> Read SEC_t193r2
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t193r2
    readsPrec :: Int -> ReadS SEC_t193r2
    $creadList :: ReadS [SEC_t193r2]
    readList :: ReadS [SEC_t193r2]
    $creadPrec :: ReadPrec SEC_t193r2
    readPrec :: ReadPrec SEC_t193r2
    $creadListPrec :: ReadPrec [SEC_t193r2]
    readListPrec :: ReadPrec [SEC_t193r2]
    Read, SEC_t193r2 -> SEC_t193r2 -> Bool
    (SEC_t193r2 -> SEC_t193r2 -> Bool)
    -> (SEC_t193r2 -> SEC_t193r2 -> Bool) -> Eq SEC_t193r2
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t193r2 -> SEC_t193r2 -> Bool
    == :: SEC_t193r2 -> SEC_t193r2 -> Bool
    $c/= :: SEC_t193r2 -> SEC_t193r2 -> Bool
    /= :: SEC_t193r2 -> SEC_t193r2 -> Bool
    Eq)
    data SEC_t233k1 = SEC_t233k1 deriving (Int -> SEC_t233k1 -> ShowS
    [SEC_t233k1] -> ShowS
    SEC_t233k1 -> String
    (Int -> SEC_t233k1 -> ShowS)
    -> (SEC_t233k1 -> String)
    -> ([SEC_t233k1] -> ShowS)
    -> Show SEC_t233k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t233k1 -> ShowS
    showsPrec :: Int -> SEC_t233k1 -> ShowS
    $cshow :: SEC_t233k1 -> String
    show :: SEC_t233k1 -> String
    $cshowList :: [SEC_t233k1] -> ShowS
    showList :: [SEC_t233k1] -> ShowS
    Show, ReadPrec [SEC_t233k1]
    ReadPrec SEC_t233k1
    Int -> ReadS SEC_t233k1
    ReadS [SEC_t233k1]
    (Int -> ReadS SEC_t233k1)
    -> ReadS [SEC_t233k1]
    -> ReadPrec SEC_t233k1
    -> ReadPrec [SEC_t233k1]
    -> Read SEC_t233k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t233k1
    readsPrec :: Int -> ReadS SEC_t233k1
    $creadList :: ReadS [SEC_t233k1]
    readList :: ReadS [SEC_t233k1]
    $creadPrec :: ReadPrec SEC_t233k1
    readPrec :: ReadPrec SEC_t233k1
    $creadListPrec :: ReadPrec [SEC_t233k1]
    readListPrec :: ReadPrec [SEC_t233k1]
    Read, SEC_t233k1 -> SEC_t233k1 -> Bool
    (SEC_t233k1 -> SEC_t233k1 -> Bool)
    -> (SEC_t233k1 -> SEC_t233k1 -> Bool) -> Eq SEC_t233k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t233k1 -> SEC_t233k1 -> Bool
    == :: SEC_t233k1 -> SEC_t233k1 -> Bool
    $c/= :: SEC_t233k1 -> SEC_t233k1 -> Bool
    /= :: SEC_t233k1 -> SEC_t233k1 -> Bool
    Eq)
    data SEC_t233r1 = SEC_t233r1 deriving (Int -> SEC_t233r1 -> ShowS
    [SEC_t233r1] -> ShowS
    SEC_t233r1 -> String
    (Int -> SEC_t233r1 -> ShowS)
    -> (SEC_t233r1 -> String)
    -> ([SEC_t233r1] -> ShowS)
    -> Show SEC_t233r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t233r1 -> ShowS
    showsPrec :: Int -> SEC_t233r1 -> ShowS
    $cshow :: SEC_t233r1 -> String
    show :: SEC_t233r1 -> String
    $cshowList :: [SEC_t233r1] -> ShowS
    showList :: [SEC_t233r1] -> ShowS
    Show, ReadPrec [SEC_t233r1]
    ReadPrec SEC_t233r1
    Int -> ReadS SEC_t233r1
    ReadS [SEC_t233r1]
    (Int -> ReadS SEC_t233r1)
    -> ReadS [SEC_t233r1]
    -> ReadPrec SEC_t233r1
    -> ReadPrec [SEC_t233r1]
    -> Read SEC_t233r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t233r1
    readsPrec :: Int -> ReadS SEC_t233r1
    $creadList :: ReadS [SEC_t233r1]
    readList :: ReadS [SEC_t233r1]
    $creadPrec :: ReadPrec SEC_t233r1
    readPrec :: ReadPrec SEC_t233r1
    $creadListPrec :: ReadPrec [SEC_t233r1]
    readListPrec :: ReadPrec [SEC_t233r1]
    Read, SEC_t233r1 -> SEC_t233r1 -> Bool
    (SEC_t233r1 -> SEC_t233r1 -> Bool)
    -> (SEC_t233r1 -> SEC_t233r1 -> Bool) -> Eq SEC_t233r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t233r1 -> SEC_t233r1 -> Bool
    == :: SEC_t233r1 -> SEC_t233r1 -> Bool
    $c/= :: SEC_t233r1 -> SEC_t233r1 -> Bool
    /= :: SEC_t233r1 -> SEC_t233r1 -> Bool
    Eq)
    data SEC_t239k1 = SEC_t239k1 deriving (Int -> SEC_t239k1 -> ShowS
    [SEC_t239k1] -> ShowS
    SEC_t239k1 -> String
    (Int -> SEC_t239k1 -> ShowS)
    -> (SEC_t239k1 -> String)
    -> ([SEC_t239k1] -> ShowS)
    -> Show SEC_t239k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t239k1 -> ShowS
    showsPrec :: Int -> SEC_t239k1 -> ShowS
    $cshow :: SEC_t239k1 -> String
    show :: SEC_t239k1 -> String
    $cshowList :: [SEC_t239k1] -> ShowS
    showList :: [SEC_t239k1] -> ShowS
    Show, ReadPrec [SEC_t239k1]
    ReadPrec SEC_t239k1
    Int -> ReadS SEC_t239k1
    ReadS [SEC_t239k1]
    (Int -> ReadS SEC_t239k1)
    -> ReadS [SEC_t239k1]
    -> ReadPrec SEC_t239k1
    -> ReadPrec [SEC_t239k1]
    -> Read SEC_t239k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t239k1
    readsPrec :: Int -> ReadS SEC_t239k1
    $creadList :: ReadS [SEC_t239k1]
    readList :: ReadS [SEC_t239k1]
    $creadPrec :: ReadPrec SEC_t239k1
    readPrec :: ReadPrec SEC_t239k1
    $creadListPrec :: ReadPrec [SEC_t239k1]
    readListPrec :: ReadPrec [SEC_t239k1]
    Read, SEC_t239k1 -> SEC_t239k1 -> Bool
    (SEC_t239k1 -> SEC_t239k1 -> Bool)
    -> (SEC_t239k1 -> SEC_t239k1 -> Bool) -> Eq SEC_t239k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t239k1 -> SEC_t239k1 -> Bool
    == :: SEC_t239k1 -> SEC_t239k1 -> Bool
    $c/= :: SEC_t239k1 -> SEC_t239k1 -> Bool
    /= :: SEC_t239k1 -> SEC_t239k1 -> Bool
    Eq)
    data SEC_t283k1 = SEC_t283k1 deriving (Int -> SEC_t283k1 -> ShowS
    [SEC_t283k1] -> ShowS
    SEC_t283k1 -> String
    (Int -> SEC_t283k1 -> ShowS)
    -> (SEC_t283k1 -> String)
    -> ([SEC_t283k1] -> ShowS)
    -> Show SEC_t283k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t283k1 -> ShowS
    showsPrec :: Int -> SEC_t283k1 -> ShowS
    $cshow :: SEC_t283k1 -> String
    show :: SEC_t283k1 -> String
    $cshowList :: [SEC_t283k1] -> ShowS
    showList :: [SEC_t283k1] -> ShowS
    Show, ReadPrec [SEC_t283k1]
    ReadPrec SEC_t283k1
    Int -> ReadS SEC_t283k1
    ReadS [SEC_t283k1]
    (Int -> ReadS SEC_t283k1)
    -> ReadS [SEC_t283k1]
    -> ReadPrec SEC_t283k1
    -> ReadPrec [SEC_t283k1]
    -> Read SEC_t283k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t283k1
    readsPrec :: Int -> ReadS SEC_t283k1
    $creadList :: ReadS [SEC_t283k1]
    readList :: ReadS [SEC_t283k1]
    $creadPrec :: ReadPrec SEC_t283k1
    readPrec :: ReadPrec SEC_t283k1
    $creadListPrec :: ReadPrec [SEC_t283k1]
    readListPrec :: ReadPrec [SEC_t283k1]
    Read, SEC_t283k1 -> SEC_t283k1 -> Bool
    (SEC_t283k1 -> SEC_t283k1 -> Bool)
    -> (SEC_t283k1 -> SEC_t283k1 -> Bool) -> Eq SEC_t283k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t283k1 -> SEC_t283k1 -> Bool
    == :: SEC_t283k1 -> SEC_t283k1 -> Bool
    $c/= :: SEC_t283k1 -> SEC_t283k1 -> Bool
    /= :: SEC_t283k1 -> SEC_t283k1 -> Bool
    Eq)
    data SEC_t283r1 = SEC_t283r1 deriving (Int -> SEC_t283r1 -> ShowS
    [SEC_t283r1] -> ShowS
    SEC_t283r1 -> String
    (Int -> SEC_t283r1 -> ShowS)
    -> (SEC_t283r1 -> String)
    -> ([SEC_t283r1] -> ShowS)
    -> Show SEC_t283r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t283r1 -> ShowS
    showsPrec :: Int -> SEC_t283r1 -> ShowS
    $cshow :: SEC_t283r1 -> String
    show :: SEC_t283r1 -> String
    $cshowList :: [SEC_t283r1] -> ShowS
    showList :: [SEC_t283r1] -> ShowS
    Show, ReadPrec [SEC_t283r1]
    ReadPrec SEC_t283r1
    Int -> ReadS SEC_t283r1
    ReadS [SEC_t283r1]
    (Int -> ReadS SEC_t283r1)
    -> ReadS [SEC_t283r1]
    -> ReadPrec SEC_t283r1
    -> ReadPrec [SEC_t283r1]
    -> Read SEC_t283r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t283r1
    readsPrec :: Int -> ReadS SEC_t283r1
    $creadList :: ReadS [SEC_t283r1]
    readList :: ReadS [SEC_t283r1]
    $creadPrec :: ReadPrec SEC_t283r1
    readPrec :: ReadPrec SEC_t283r1
    $creadListPrec :: ReadPrec [SEC_t283r1]
    readListPrec :: ReadPrec [SEC_t283r1]
    Read, SEC_t283r1 -> SEC_t283r1 -> Bool
    (SEC_t283r1 -> SEC_t283r1 -> Bool)
    -> (SEC_t283r1 -> SEC_t283r1 -> Bool) -> Eq SEC_t283r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t283r1 -> SEC_t283r1 -> Bool
    == :: SEC_t283r1 -> SEC_t283r1 -> Bool
    $c/= :: SEC_t283r1 -> SEC_t283r1 -> Bool
    /= :: SEC_t283r1 -> SEC_t283r1 -> Bool
    Eq)
    data SEC_t409k1 = SEC_t409k1 deriving (Int -> SEC_t409k1 -> ShowS
    [SEC_t409k1] -> ShowS
    SEC_t409k1 -> String
    (Int -> SEC_t409k1 -> ShowS)
    -> (SEC_t409k1 -> String)
    -> ([SEC_t409k1] -> ShowS)
    -> Show SEC_t409k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t409k1 -> ShowS
    showsPrec :: Int -> SEC_t409k1 -> ShowS
    $cshow :: SEC_t409k1 -> String
    show :: SEC_t409k1 -> String
    $cshowList :: [SEC_t409k1] -> ShowS
    showList :: [SEC_t409k1] -> ShowS
    Show, ReadPrec [SEC_t409k1]
    ReadPrec SEC_t409k1
    Int -> ReadS SEC_t409k1
    ReadS [SEC_t409k1]
    (Int -> ReadS SEC_t409k1)
    -> ReadS [SEC_t409k1]
    -> ReadPrec SEC_t409k1
    -> ReadPrec [SEC_t409k1]
    -> Read SEC_t409k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t409k1
    readsPrec :: Int -> ReadS SEC_t409k1
    $creadList :: ReadS [SEC_t409k1]
    readList :: ReadS [SEC_t409k1]
    $creadPrec :: ReadPrec SEC_t409k1
    readPrec :: ReadPrec SEC_t409k1
    $creadListPrec :: ReadPrec [SEC_t409k1]
    readListPrec :: ReadPrec [SEC_t409k1]
    Read, SEC_t409k1 -> SEC_t409k1 -> Bool
    (SEC_t409k1 -> SEC_t409k1 -> Bool)
    -> (SEC_t409k1 -> SEC_t409k1 -> Bool) -> Eq SEC_t409k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t409k1 -> SEC_t409k1 -> Bool
    == :: SEC_t409k1 -> SEC_t409k1 -> Bool
    $c/= :: SEC_t409k1 -> SEC_t409k1 -> Bool
    /= :: SEC_t409k1 -> SEC_t409k1 -> Bool
    Eq)
    data SEC_t409r1 = SEC_t409r1 deriving (Int -> SEC_t409r1 -> ShowS
    [SEC_t409r1] -> ShowS
    SEC_t409r1 -> String
    (Int -> SEC_t409r1 -> ShowS)
    -> (SEC_t409r1 -> String)
    -> ([SEC_t409r1] -> ShowS)
    -> Show SEC_t409r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t409r1 -> ShowS
    showsPrec :: Int -> SEC_t409r1 -> ShowS
    $cshow :: SEC_t409r1 -> String
    show :: SEC_t409r1 -> String
    $cshowList :: [SEC_t409r1] -> ShowS
    showList :: [SEC_t409r1] -> ShowS
    Show, ReadPrec [SEC_t409r1]
    ReadPrec SEC_t409r1
    Int -> ReadS SEC_t409r1
    ReadS [SEC_t409r1]
    (Int -> ReadS SEC_t409r1)
    -> ReadS [SEC_t409r1]
    -> ReadPrec SEC_t409r1
    -> ReadPrec [SEC_t409r1]
    -> Read SEC_t409r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t409r1
    readsPrec :: Int -> ReadS SEC_t409r1
    $creadList :: ReadS [SEC_t409r1]
    readList :: ReadS [SEC_t409r1]
    $creadPrec :: ReadPrec SEC_t409r1
    readPrec :: ReadPrec SEC_t409r1
    $creadListPrec :: ReadPrec [SEC_t409r1]
    readListPrec :: ReadPrec [SEC_t409r1]
    Read, SEC_t409r1 -> SEC_t409r1 -> Bool
    (SEC_t409r1 -> SEC_t409r1 -> Bool)
    -> (SEC_t409r1 -> SEC_t409r1 -> Bool) -> Eq SEC_t409r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t409r1 -> SEC_t409r1 -> Bool
    == :: SEC_t409r1 -> SEC_t409r1 -> Bool
    $c/= :: SEC_t409r1 -> SEC_t409r1 -> Bool
    /= :: SEC_t409r1 -> SEC_t409r1 -> Bool
    Eq)
    data SEC_t571k1 = SEC_t571k1 deriving (Int -> SEC_t571k1 -> ShowS
    [SEC_t571k1] -> ShowS
    SEC_t571k1 -> String
    (Int -> SEC_t571k1 -> ShowS)
    -> (SEC_t571k1 -> String)
    -> ([SEC_t571k1] -> ShowS)
    -> Show SEC_t571k1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t571k1 -> ShowS
    showsPrec :: Int -> SEC_t571k1 -> ShowS
    $cshow :: SEC_t571k1 -> String
    show :: SEC_t571k1 -> String
    $cshowList :: [SEC_t571k1] -> ShowS
    showList :: [SEC_t571k1] -> ShowS
    Show, ReadPrec [SEC_t571k1]
    ReadPrec SEC_t571k1
    Int -> ReadS SEC_t571k1
    ReadS [SEC_t571k1]
    (Int -> ReadS SEC_t571k1)
    -> ReadS [SEC_t571k1]
    -> ReadPrec SEC_t571k1
    -> ReadPrec [SEC_t571k1]
    -> Read SEC_t571k1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t571k1
    readsPrec :: Int -> ReadS SEC_t571k1
    $creadList :: ReadS [SEC_t571k1]
    readList :: ReadS [SEC_t571k1]
    $creadPrec :: ReadPrec SEC_t571k1
    readPrec :: ReadPrec SEC_t571k1
    $creadListPrec :: ReadPrec [SEC_t571k1]
    readListPrec :: ReadPrec [SEC_t571k1]
    Read, SEC_t571k1 -> SEC_t571k1 -> Bool
    (SEC_t571k1 -> SEC_t571k1 -> Bool)
    -> (SEC_t571k1 -> SEC_t571k1 -> Bool) -> Eq SEC_t571k1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t571k1 -> SEC_t571k1 -> Bool
    == :: SEC_t571k1 -> SEC_t571k1 -> Bool
    $c/= :: SEC_t571k1 -> SEC_t571k1 -> Bool
    /= :: SEC_t571k1 -> SEC_t571k1 -> Bool
    Eq)
    data SEC_t571r1 = SEC_t571r1 deriving (Int -> SEC_t571r1 -> ShowS
    [SEC_t571r1] -> ShowS
    SEC_t571r1 -> String
    (Int -> SEC_t571r1 -> ShowS)
    -> (SEC_t571r1 -> String)
    -> ([SEC_t571r1] -> ShowS)
    -> Show SEC_t571r1
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> SEC_t571r1 -> ShowS
    showsPrec :: Int -> SEC_t571r1 -> ShowS
    $cshow :: SEC_t571r1 -> String
    show :: SEC_t571r1 -> String
    $cshowList :: [SEC_t571r1] -> ShowS
    showList :: [SEC_t571r1] -> ShowS
    Show, ReadPrec [SEC_t571r1]
    ReadPrec SEC_t571r1
    Int -> ReadS SEC_t571r1
    ReadS [SEC_t571r1]
    (Int -> ReadS SEC_t571r1)
    -> ReadS [SEC_t571r1]
    -> ReadPrec SEC_t571r1
    -> ReadPrec [SEC_t571r1]
    -> Read SEC_t571r1
    forall a.
    (Int -> ReadS a)
    -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
    $creadsPrec :: Int -> ReadS SEC_t571r1
    readsPrec :: Int -> ReadS SEC_t571r1
    $creadList :: ReadS [SEC_t571r1]
    readList :: ReadS [SEC_t571r1]
    $creadPrec :: ReadPrec SEC_t571r1
    readPrec :: ReadPrec SEC_t571r1
    $creadListPrec :: ReadPrec [SEC_t571r1]
    readListPrec :: ReadPrec [SEC_t571r1]
    Read, SEC_t571r1 -> SEC_t571r1 -> Bool
    (SEC_t571r1 -> SEC_t571r1 -> Bool)
    -> (SEC_t571r1 -> SEC_t571r1 -> Bool) -> Eq SEC_t571r1
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: SEC_t571r1 -> SEC_t571r1 -> Bool
    == :: SEC_t571r1 -> SEC_t571r1 -> Bool
    $c/= :: SEC_t571r1 -> SEC_t571r1 -> Bool
    /= :: SEC_t571r1 -> SEC_t571r1 -> Bool
    Eq)

    -- | Define names for known recommended curves.
    instance Curve SEC_p112r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p112r1 -> CurveType
    curveType proxy SEC_p112r1
    _ = CurveType
    typeSEC_p112r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p112r1 -> CurveParameters SEC_p112r1
    curveParameters proxy SEC_p112r1
    _ = CurveParameters SEC_p112r1
    forall {curve}. CurveParameters curve
    paramSEC_p112r1

    instance Curve SEC_p112r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p112r2 -> CurveType
    curveType proxy SEC_p112r2
    _ = CurveType
    typeSEC_p112r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p112r2 -> CurveParameters SEC_p112r2
    curveParameters proxy SEC_p112r2
    _ = CurveParameters SEC_p112r2
    forall {curve}. CurveParameters curve
    paramSEC_p112r2

    instance Curve SEC_p128r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p128r1 -> CurveType
    curveType proxy SEC_p128r1
    _ = CurveType
    typeSEC_p128r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p128r1 -> CurveParameters SEC_p128r1
    curveParameters proxy SEC_p128r1
    _ = CurveParameters SEC_p128r1
    forall {curve}. CurveParameters curve
    paramSEC_p128r1

    instance Curve SEC_p128r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p128r2 -> CurveType
    curveType proxy SEC_p128r2
    _ = CurveType
    typeSEC_p128r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p128r2 -> CurveParameters SEC_p128r2
    curveParameters proxy SEC_p128r2
    _ = CurveParameters SEC_p128r2
    forall {curve}. CurveParameters curve
    paramSEC_p128r2

    instance Curve SEC_p160k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p160k1 -> CurveType
    curveType proxy SEC_p160k1
    _ = CurveType
    typeSEC_p160k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p160k1 -> CurveParameters SEC_p160k1
    curveParameters proxy SEC_p160k1
    _ = CurveParameters SEC_p160k1
    forall {curve}. CurveParameters curve
    paramSEC_p160k1

    instance Curve SEC_p160r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p160r1 -> CurveType
    curveType proxy SEC_p160r1
    _ = CurveType
    typeSEC_p160r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p160r1 -> CurveParameters SEC_p160r1
    curveParameters proxy SEC_p160r1
    _ = CurveParameters SEC_p160r1
    forall {curve}. CurveParameters curve
    paramSEC_p160r1

    instance Curve SEC_p160r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p160r2 -> CurveType
    curveType proxy SEC_p160r2
    _ = CurveType
    typeSEC_p160r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p160r2 -> CurveParameters SEC_p160r2
    curveParameters proxy SEC_p160r2
    _ = CurveParameters SEC_p160r2
    forall {curve}. CurveParameters curve
    paramSEC_p160r2

    instance Curve SEC_p192k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p192k1 -> CurveType
    curveType proxy SEC_p192k1
    _ = CurveType
    typeSEC_p192k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p192k1 -> CurveParameters SEC_p192k1
    curveParameters proxy SEC_p192k1
    _ = CurveParameters SEC_p192k1
    forall {curve}. CurveParameters curve
    paramSEC_p192k1

    instance Curve SEC_p192r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p192r1 -> CurveType
    curveType proxy SEC_p192r1
    _ = CurveType
    typeSEC_p192r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p192r1 -> CurveParameters SEC_p192r1
    curveParameters proxy SEC_p192r1
    _ = CurveParameters SEC_p192r1
    forall {curve}. CurveParameters curve
    paramSEC_p192r1

    instance Curve SEC_p224k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p224k1 -> CurveType
    curveType proxy SEC_p224k1
    _ = CurveType
    typeSEC_p224k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p224k1 -> CurveParameters SEC_p224k1
    curveParameters proxy SEC_p224k1
    _ = CurveParameters SEC_p224k1
    forall {curve}. CurveParameters curve
    paramSEC_p224k1

    instance Curve SEC_p224r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p224r1 -> CurveType
    curveType proxy SEC_p224r1
    _ = CurveType
    typeSEC_p224r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p224r1 -> CurveParameters SEC_p224r1
    curveParameters proxy SEC_p224r1
    _ = CurveParameters SEC_p224r1
    forall {curve}. CurveParameters curve
    paramSEC_p224r1

    instance Curve SEC_p256k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p256k1 -> CurveType
    curveType proxy SEC_p256k1
    _ = CurveType
    typeSEC_p256k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p256k1 -> CurveParameters SEC_p256k1
    curveParameters proxy SEC_p256k1
    _ = CurveParameters SEC_p256k1
    forall {curve}. CurveParameters curve
    paramSEC_p256k1

    instance Curve SEC_p256r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p256r1 -> CurveType
    curveType proxy SEC_p256r1
    _ = CurveType
    typeSEC_p256r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p256r1 -> CurveParameters SEC_p256r1
    curveParameters proxy SEC_p256r1
    _ = CurveParameters SEC_p256r1
    forall {curve}. CurveParameters curve
    paramSEC_p256r1

    instance Curve SEC_p384r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p384r1 -> CurveType
    curveType proxy SEC_p384r1
    _ = CurveType
    typeSEC_p384r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p384r1 -> CurveParameters SEC_p384r1
    curveParameters proxy SEC_p384r1
    _ = CurveParameters SEC_p384r1
    forall {curve}. CurveParameters curve
    paramSEC_p384r1

    instance Curve SEC_p521r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_p521r1 -> CurveType
    curveType proxy SEC_p521r1
    _ = CurveType
    typeSEC_p521r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_p521r1 -> CurveParameters SEC_p521r1
    curveParameters proxy SEC_p521r1
    _ = CurveParameters SEC_p521r1
    forall {curve}. CurveParameters curve
    paramSEC_p521r1

    instance Curve SEC_t113r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t113r1 -> CurveType
    curveType proxy SEC_t113r1
    _ = CurveType
    typeSEC_t113r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t113r1 -> CurveParameters SEC_t113r1
    curveParameters proxy SEC_t113r1
    _ = CurveParameters SEC_t113r1
    forall {curve}. CurveParameters curve
    paramSEC_t113r1

    instance Curve SEC_t113r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t113r2 -> CurveType
    curveType proxy SEC_t113r2
    _ = CurveType
    typeSEC_t113r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t113r2 -> CurveParameters SEC_t113r2
    curveParameters proxy SEC_t113r2
    _ = CurveParameters SEC_t113r2
    forall {curve}. CurveParameters curve
    paramSEC_t113r2

    instance Curve SEC_t131r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t131r1 -> CurveType
    curveType proxy SEC_t131r1
    _ = CurveType
    typeSEC_t131r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t131r1 -> CurveParameters SEC_t131r1
    curveParameters proxy SEC_t131r1
    _ = CurveParameters SEC_t131r1
    forall {curve}. CurveParameters curve
    paramSEC_t131r1

    instance Curve SEC_t131r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t131r2 -> CurveType
    curveType proxy SEC_t131r2
    _ = CurveType
    typeSEC_t131r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t131r2 -> CurveParameters SEC_t131r2
    curveParameters proxy SEC_t131r2
    _ = CurveParameters SEC_t131r2
    forall {curve}. CurveParameters curve
    paramSEC_t131r2

    instance Curve SEC_t163k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t163k1 -> CurveType
    curveType proxy SEC_t163k1
    _ = CurveType
    typeSEC_t163k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t163k1 -> CurveParameters SEC_t163k1
    curveParameters proxy SEC_t163k1
    _ = CurveParameters SEC_t163k1
    forall {curve}. CurveParameters curve
    paramSEC_t163k1

    instance Curve SEC_t163r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t163r1 -> CurveType
    curveType proxy SEC_t163r1
    _ = CurveType
    typeSEC_t163r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t163r1 -> CurveParameters SEC_t163r1
    curveParameters proxy SEC_t163r1
    _ = CurveParameters SEC_t163r1
    forall {curve}. CurveParameters curve
    paramSEC_t163r1

    instance Curve SEC_t163r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t163r2 -> CurveType
    curveType proxy SEC_t163r2
    _ = CurveType
    typeSEC_t163r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t163r2 -> CurveParameters SEC_t163r2
    curveParameters proxy SEC_t163r2
    _ = CurveParameters SEC_t163r2
    forall {curve}. CurveParameters curve
    paramSEC_t163r2

    instance Curve SEC_t193r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t193r1 -> CurveType
    curveType proxy SEC_t193r1
    _ = CurveType
    typeSEC_t193r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t193r1 -> CurveParameters SEC_t193r1
    curveParameters proxy SEC_t193r1
    _ = CurveParameters SEC_t193r1
    forall {curve}. CurveParameters curve
    paramSEC_t193r1

    instance Curve SEC_t193r2 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t193r2 -> CurveType
    curveType proxy SEC_t193r2
    _ = CurveType
    typeSEC_t193r2
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t193r2 -> CurveParameters SEC_t193r2
    curveParameters proxy SEC_t193r2
    _ = CurveParameters SEC_t193r2
    forall {curve}. CurveParameters curve
    paramSEC_t193r2

    instance Curve SEC_t233k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t233k1 -> CurveType
    curveType proxy SEC_t233k1
    _ = CurveType
    typeSEC_t233k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t233k1 -> CurveParameters SEC_t233k1
    curveParameters proxy SEC_t233k1
    _ = CurveParameters SEC_t233k1
    forall {curve}. CurveParameters curve
    paramSEC_t233k1

    instance Curve SEC_t233r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t233r1 -> CurveType
    curveType proxy SEC_t233r1
    _ = CurveType
    typeSEC_t233r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t233r1 -> CurveParameters SEC_t233r1
    curveParameters proxy SEC_t233r1
    _ = CurveParameters SEC_t233r1
    forall {curve}. CurveParameters curve
    paramSEC_t233r1

    instance Curve SEC_t239k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t239k1 -> CurveType
    curveType proxy SEC_t239k1
    _ = CurveType
    typeSEC_t239k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t239k1 -> CurveParameters SEC_t239k1
    curveParameters proxy SEC_t239k1
    _ = CurveParameters SEC_t239k1
    forall {curve}. CurveParameters curve
    paramSEC_t239k1

    instance Curve SEC_t283k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t283k1 -> CurveType
    curveType proxy SEC_t283k1
    _ = CurveType
    typeSEC_t283k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t283k1 -> CurveParameters SEC_t283k1
    curveParameters proxy SEC_t283k1
    _ = CurveParameters SEC_t283k1
    forall {curve}. CurveParameters curve
    paramSEC_t283k1

    instance Curve SEC_t283r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t283r1 -> CurveType
    curveType proxy SEC_t283r1
    _ = CurveType
    typeSEC_t283r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t283r1 -> CurveParameters SEC_t283r1
    curveParameters proxy SEC_t283r1
    _ = CurveParameters SEC_t283r1
    forall {curve}. CurveParameters curve
    paramSEC_t283r1

    instance Curve SEC_t409k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t409k1 -> CurveType
    curveType proxy SEC_t409k1
    _ = CurveType
    typeSEC_t409k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t409k1 -> CurveParameters SEC_t409k1
    curveParameters proxy SEC_t409k1
    _ = CurveParameters SEC_t409k1
    forall {curve}. CurveParameters curve
    paramSEC_t409k1

    instance Curve SEC_t409r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t409r1 -> CurveType
    curveType proxy SEC_t409r1
    _ = CurveType
    typeSEC_t409r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t409r1 -> CurveParameters SEC_t409r1
    curveParameters proxy SEC_t409r1
    _ = CurveParameters SEC_t409r1
    forall {curve}. CurveParameters curve
    paramSEC_t409r1

    instance Curve SEC_t571k1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t571k1 -> CurveType
    curveType proxy SEC_t571k1
    _ = CurveType
    typeSEC_t571k1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t571k1 -> CurveParameters SEC_t571k1
    curveParameters proxy SEC_t571k1
    _ = CurveParameters SEC_t571k1
    forall {curve}. CurveParameters curve
    paramSEC_t571k1

    instance Curve SEC_t571r1 where
        curveType :: forall (proxy :: * -> *). proxy SEC_t571r1 -> CurveType
    curveType proxy SEC_t571r1
    _ = CurveType
    typeSEC_t571r1
        curveParameters :: forall (proxy :: * -> *).
    proxy SEC_t571r1 -> CurveParameters SEC_t571r1
    curveParameters proxy SEC_t571r1
    _ = CurveParameters SEC_t571r1
    forall {curve}. CurveParameters curve
    paramSEC_t571r1

    {-
    curvesOIDs :: [ (CurveName, [Integer]) ]
    curvesOIDs =
        [ (SEC_p112r1, [1,3,132,0,6])
        , (SEC_p112r2, [1,3,132,0,7])
        , (SEC_p128r1, [1,3,132,0,28])
        , (SEC_p128r2, [1,3,132,0,29])
        , (SEC_p160k1, [1,3,132,0,9])
        , (SEC_p160r1, [1,3,132,0,8])
        , (SEC_p160r2, [1,3,132,0,30])
        , (SEC_p192k1, [1,3,132,0,31])
        , (SEC_p192r1, [1,2,840,10045,3,1,1])
        , (SEC_p224k1, [1,3,132,0,32])
        , (SEC_p224r1, [1,3,132,0,33])
        , (SEC_p256k1, [1,3,132,0,10])
        , (SEC_p256r1, [1,2,840,10045,3,1,7])
        , (SEC_p384r1, [1,3,132,0,34])
        , (SEC_p521r1, [1,3,132,0,35])
        , (SEC_t113r1, [1,3,132,0,4])
        , (SEC_t113r2, [1,3,132,0,5])
        , (SEC_t131r1, [1,3,132,0,22])
        , (SEC_t131r2, [1,3,132,0,23])
        , (SEC_t163k1, [1,3,132,0,1])
        , (SEC_t163r1, [1,3,132,0,2])
        , (SEC_t163r2, [1,3,132,0,15])
        , (SEC_t193r1, [1,3,132,0,24])
        , (SEC_t193r2, [1,3,132,0,25])
        , (SEC_t233k1, [1,3,132,0,26])
        , (SEC_t233r1, [1,3,132,0,27])
        , (SEC_t239k1, [1,3,132,0,3])
        , (SEC_t283k1, [1,3,132,0,16])
        , (SEC_t283r1, [1,3,132,0,17])
        , (SEC_t409k1, [1,3,132,0,36])
        , (SEC_t409r1, [1,3,132,0,37])
        , (SEC_t571k1, [1,3,132,0,38])
        , (SEC_t571r1, [1,3,132,0,39])
        ]
    -}

    typeSEC_p112r1 :: CurveType
    typeSEC_p112r1 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xdb7c2abf62e35e668076bead208b
    paramSEC_p112r1 :: CurveParameters curve
    paramSEC_p112r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xdb7c2abf62e35e668076bead2088
            , curveEccB :: Integer
    curveEccB = Integer
    0x659ef8ba043916eede8911702b22
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x09487239995a5ee76b55f9c2f098
                    Integer
    0xa89ce5af8724c0a23e0e0ff77500
            , curveEccN :: Integer
    curveEccN = Integer
    0xdb7c2abf62e35e7628dfac6561c5
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p112r2 :: CurveType
    typeSEC_p112r2 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xdb7c2abf62e35e668076bead208b
    paramSEC_p112r2 :: CurveParameters curve
    paramSEC_p112r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x6127c24c05f38a0aaaf65c0ef02c
            , curveEccB :: Integer
    curveEccB = Integer
    0x51def1815db5ed74fcc34c85d709
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x4ba30ab5e892b4e1649dd0928643
                    Integer
    0xadcd46f5882e3747def36e956e97
            , curveEccN :: Integer
    curveEccN = Integer
    0x36df0aafd8b8d7597ca10520d04b
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_p128r1 :: CurveType
    typeSEC_p128r1 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xfffffffdffffffffffffffffffffffff
    paramSEC_p128r1 :: CurveParameters curve
    paramSEC_p128r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xfffffffdfffffffffffffffffffffffc
            , curveEccB :: Integer
    curveEccB = Integer
    0xe87579c11079f43dd824993c2cee5ed3
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x161ff7528b899b2d0c28607ca52c5b86
                    Integer
    0xcf5ac8395bafeb13c02da292dded7a83
            , curveEccN :: Integer
    curveEccN = Integer
    0xfffffffe0000000075a30d1b9038a115
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p128r2 :: CurveType
    typeSEC_p128r2 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xfffffffdffffffffffffffffffffffff
    paramSEC_p128r2 :: CurveParameters curve
    paramSEC_p128r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xd6031998d1b3bbfebf59cc9bbff9aee1
            , curveEccB :: Integer
    curveEccB = Integer
    0x5eeefca380d02919dc2c6558bb6d8a5d
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x7b6aa5d85e572983e6fb32a7cdebc140
                    Integer
    0x27b6916a894d3aee7106fe805fc34b44
            , curveEccN :: Integer
    curveEccN = Integer
    0x3fffffff7fffffffbe0024720613b5a3
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_p160k1 :: CurveType
    typeSEC_p160k1 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0x00fffffffffffffffffffffffffffffffeffffac73
    paramSEC_p160k1 :: CurveParameters curve
    paramSEC_p160k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x000000000000000000000000000000000000000007
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x003b4c382ce37aa192a4019e763036f4f5dd4d7ebb
                    Integer
    0x00938cf935318fdced6bc28286531733c3f03c4fee
            , curveEccN :: Integer
    curveEccN = Integer
    0x0100000000000000000001b8fa16dfab9aca16b6b3
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p160r1 :: CurveType
    typeSEC_p160r1 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0x00ffffffffffffffffffffffffffffffff7fffffff
    paramSEC_p160r1 :: CurveParameters curve
    paramSEC_p160r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x00ffffffffffffffffffffffffffffffff7ffffffc
            , curveEccB :: Integer
    curveEccB = Integer
    0x001c97befc54bd7a8b65acf89f81d4d4adc565fa45
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x004a96b5688ef573284664698968c38bb913cbfc82
                    Integer
    0x0023a628553168947d59dcc912042351377ac5fb32
            , curveEccN :: Integer
    curveEccN = Integer
    0x0100000000000000000001f4c8f927aed3ca752257
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p160r2 :: CurveType
    typeSEC_p160r2 = CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0x00fffffffffffffffffffffffffffffffeffffac73
    paramSEC_p160r2 :: CurveParameters curve
    paramSEC_p160r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x00fffffffffffffffffffffffffffffffeffffac70
            , curveEccB :: Integer
    curveEccB = Integer
    0x00b4e134d3fb59eb8bab57274904664d5af50388ba
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0052dcb034293a117e1f4ff11b30f7199d3144ce6d
                    Integer
    0x00feaffef2e331f296e071fa0df9982cfea7d43f2e
            , curveEccN :: Integer
    curveEccN = Integer
    0x0100000000000000000000351ee786a818f3a1a16b
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p192k1 :: CurveType
    typeSEC_p192k1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xfffffffffffffffffffffffffffffffffffffffeffffee37
    paramSEC_p192k1 :: CurveParameters curve
    paramSEC_p192k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x000000000000000000000000000000000000000000000003
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0xdb4ff10ec057e9ae26b07d0280b7f4341da5d1b1eae06c7d
                    Integer
    0x9b2f2f6d9c5628a7844163d015be86344082aa88d95e2f9d
            , curveEccN :: Integer
    curveEccN = Integer
    0xfffffffffffffffffffffffe26f2fc170f69466a74defd8d
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p192r1 :: CurveType
    typeSEC_p192r1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xfffffffffffffffffffffffffffffffeffffffffffffffff
    paramSEC_p192r1 :: CurveParameters curve
    paramSEC_p192r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xfffffffffffffffffffffffffffffffefffffffffffffffc
            , curveEccB :: Integer
    curveEccB = Integer
    0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
                    Integer
    0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811
            , curveEccN :: Integer
    curveEccN = Integer
    0xffffffffffffffffffffffff99def836146bc9b1b4d22831
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p224k1 :: CurveType
    typeSEC_p224k1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0x00fffffffffffffffffffffffffffffffffffffffffffffffeffffe56d
    paramSEC_p224k1 :: CurveParameters curve
    paramSEC_p224k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x0000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x0000000000000000000000000000000000000000000000000000000005
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x00a1455b334df099df30fc28a169a467e9e47075a90f7e650eb6b7a45c
                    Integer
    0x007e089fed7fba344282cafbd6f7e319f7c0b0bd59e2ca4bdb556d61a5
            , curveEccN :: Integer
    curveEccN = Integer
    0x010000000000000000000000000001dce8d2ec6184caf0a971769fb1f7
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p224r1 :: CurveType
    typeSEC_p224r1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam Integer
    0xffffffffffffffffffffffffffffffff000000000000000000000001
    paramSEC_p224r1 :: CurveParameters curve
    paramSEC_p224r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xfffffffffffffffffffffffffffffffefffffffffffffffffffffffe
            , curveEccB :: Integer
    curveEccB = Integer
    0xb4050a850c04b3abf54132565044b0b7d7bfd8ba270b39432355ffb4
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0xb70e0cbd6bb4bf7f321390b94a03c1d356c21122343280d6115c1d21
                    Integer
    0xbd376388b5f723fb4c22dfe6cd4375a05a07476444d5819985007e34
            , curveEccN :: Integer
    curveEccN = Integer
    0xffffffffffffffffffffffffffff16a2e0b8f03e13dd29455c5c2a3d
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p256k1 :: CurveType
    typeSEC_p256k1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam
                Integer
    0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f
    paramSEC_p256k1 :: CurveParameters curve
    paramSEC_p256k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x0000000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x0000000000000000000000000000000000000000000000000000000000000007
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798
                    Integer
    0x483ada7726a3c4655da4fbfc0e1108a8fd17b448a68554199c47d08ffb10d4b8
            , curveEccN :: Integer
    curveEccN = Integer
    0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p256r1 :: CurveType
    typeSEC_p256r1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam
                Integer
    0xffffffff00000001000000000000000000000000ffffffffffffffffffffffff
    paramSEC_p256r1 :: CurveParameters curve
    paramSEC_p256r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0xffffffff00000001000000000000000000000000fffffffffffffffffffffffc
            , curveEccB :: Integer
    curveEccB = Integer
    0x5ac635d8aa3a93e7b3ebbd55769886bc651d06b0cc53b0f63bce3c3e27d2604b
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x6b17d1f2e12c4247f8bce6e563a440f277037d812deb33a0f4a13945d898c296
                    Integer
    0x4fe342e2fe1a7f9b8ee7eb4a7c0f9e162bce33576b315ececbb6406837bf51f5
            , curveEccN :: Integer
    curveEccN = Integer
    0xffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p384r1 :: CurveType
    typeSEC_p384r1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam
                Integer
    0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffff0000000000000000ffffffff
    paramSEC_p384r1 :: CurveParameters curve
    paramSEC_p384r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffff0000000000000000fffffffc
            , curveEccB :: Integer
    curveEccB =
                Integer
    0xb3312fa7e23ee7e4988e056be3f82d19181d9c6efe8141120314088f5013875ac656398d8a2ed19d2a85c8edd3ec2aef
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0xaa87ca22be8b05378eb1c71ef320ad746e1d3b628ba79b9859f741e082542a385502f25dbf55296c3a545e3872760ab7
                    Integer
    0x3617de4a96262c6f5d9e98bf9292dc29f8f41dbd289a147ce9da3113b5f0b8c00a60b1ce1d7e819d7a431d7c90ea0e5f
            , curveEccN :: Integer
    curveEccN =
                Integer
    0xffffffffffffffffffffffffffffffffffffffffffffffffc7634d81f4372ddf581a0db248b0a77aecec196accc52973
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_p521r1 :: CurveType
    typeSEC_p521r1 =
        CurvePrimeParam -> CurveType
    CurvePrime (CurvePrimeParam -> CurveType) -> CurvePrimeParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurvePrimeParam
    CurvePrimeParam
                Integer
    0x01ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
    paramSEC_p521r1 :: CurveParameters curve
    paramSEC_p521r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x01fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x0051953eb9618e1c9a1f929a21a0b68540eea2da725b99b315f3b8b489918ef109e156193951ec7e937b1652c0bd3bb1bf073573df883d2c34f1ef451fd46b503f00
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x00c6858e06b70404e9cd9e3ecb662395b4429c648139053fb521f828af606b4d3dbaa14b5e77efe75928fe1dc127a2ffa8de3348b3c1856a429bf97e7e31c2e5bd66
                    Integer
    0x011839296a789a3bc0045c8a5fb42c7d1bd998f54449579b446817afbd17273e662c97ee72995ef42640c550b9013fad0761353c7086a272c24088be94769fd16650
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x01fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa51868783bf2f966b7fcc0148f709a5d03bb5c9b8899c47aebb6fb71e91386409
            , curveEccH :: Integer
    curveEccH = Integer
    1
            }
    typeSEC_t113r1 :: CurveType
    typeSEC_t113r1 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x020000000000000000000000000201
    paramSEC_t113r1 :: CurveParameters curve
    paramSEC_t113r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x003088250ca6e7c7fe649ce85820f7
            , curveEccB :: Integer
    curveEccB = Integer
    0x00e8bee4d3e2260744188be0e9c723
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x009d73616f35f4ab1407d73562c10f
                    Integer
    0x00a52830277958ee84d1315ed31886
            , curveEccN :: Integer
    curveEccN = Integer
    0x0100000000000000d9ccec8a39e56f
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t113r2 :: CurveType
    typeSEC_t113r2 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x020000000000000000000000000201
    paramSEC_t113r2 :: CurveParameters curve
    paramSEC_t113r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x00689918dbec7e5a0dd6dfc0aa55c7
            , curveEccB :: Integer
    curveEccB = Integer
    0x0095e9a9ec9b297bd4bf36e059184f
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x01a57a6a7b26ca5ef52fcdb8164797
                    Integer
    0x00b3adc94ed1fe674c06e695baba1d
            , curveEccN :: Integer
    curveEccN = Integer
    0x010000000000000108789b2496af93
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t131r1 :: CurveType
    typeSEC_t131r1 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x080000000000000000000000000000010d
    paramSEC_t131r1 :: CurveParameters curve
    paramSEC_t131r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x07a11b09a76b562144418ff3ff8c2570b8
            , curveEccB :: Integer
    curveEccB = Integer
    0x0217c05610884b63b9c6c7291678f9d341
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0081baf91fdf9833c40f9c181343638399
                    Integer
    0x078c6e7ea38c001f73c8134b1b4ef9e150
            , curveEccN :: Integer
    curveEccN = Integer
    0x0400000000000000023123953a9464b54d
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t131r2 :: CurveType
    typeSEC_t131r2 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x080000000000000000000000000000010d
    paramSEC_t131r2 :: CurveParameters curve
    paramSEC_t131r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x03e5a88919d7cafcbf415f07c2176573b2
            , curveEccB :: Integer
    curveEccB = Integer
    0x04b8266a46c55657ac734ce38f018f2192
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0356dcd8f2f95031ad652d23951bb366a8
                    Integer
    0x0648f06d867940a5366d9e265de9eb240f
            , curveEccN :: Integer
    curveEccN = Integer
    0x0400000000000000016954a233049ba98f
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t163k1 :: CurveType
    typeSEC_t163k1 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x0800000000000000000000000000000000000000c9
    paramSEC_t163k1 :: CurveParameters curve
    paramSEC_t163k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB = Integer
    0x000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x02fe13c0537bbc11acaa07d793de4e6d5e5c94eee8
                    Integer
    0x0289070fb05d38ff58321f2e800536d538ccdaa3d9
            , curveEccN :: Integer
    curveEccN = Integer
    0x04000000000000000000020108a2e0cc0d99f8a5ef
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t163r1 :: CurveType
    typeSEC_t163r1 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x0800000000000000000000000000000000000000c9
    paramSEC_t163r1 :: CurveParameters curve
    paramSEC_t163r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x07b6882caaefa84f9554ff8428bd88e246d2782ae2
            , curveEccB :: Integer
    curveEccB = Integer
    0x0713612dcddcb40aab946bda29ca91f73af958afd9
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0369979697ab43897789566789567f787a7876a654
                    Integer
    0x00435edb42efafb2989d51fefce3c80988f41ff883
            , curveEccN :: Integer
    curveEccN = Integer
    0x03ffffffffffffffffffff48aab689c29ca710279b
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t163r2 :: CurveType
    typeSEC_t163r2 = CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $ Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x0800000000000000000000000000000000000000c9
    paramSEC_t163r2 :: CurveParameters curve
    paramSEC_t163r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB = Integer
    0x020a601907b8c953ca1481eb10512f78744a3205fd
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x03f0eba16286a2d57ea0991168d4994637e8343e36
                    Integer
    0x00d51fbc6c71a0094fa2cdd545b11c5c0c797324f1
            , curveEccN :: Integer
    curveEccN = Integer
    0x040000000000000000000292fe77e70c12a4234c33
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t193r1 :: CurveType
    typeSEC_t193r1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x02000000000000000000000000000000000000000000008001
    paramSEC_t193r1 :: CurveParameters curve
    paramSEC_t193r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x0017858feb7a98975169e171f77b4087de098ac8a911df7b01
            , curveEccB :: Integer
    curveEccB = Integer
    0x00fdfb49bfe6c3a89facadaa7a1e5bbc7cc1c2e5d831478814
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x01f481bc5f0ff84a74ad6cdf6fdef4bf6179625372d8c0c5e1
                    Integer
    0x0025e399f2903712ccf3ea9e3a1ad17fb0b3201b6af7ce1b05
            , curveEccN :: Integer
    curveEccN = Integer
    0x01000000000000000000000000c7f34a778f443acc920eba49
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t193r2 :: CurveType
    typeSEC_t193r2 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x02000000000000000000000000000000000000000000008001
    paramSEC_t193r2 :: CurveParameters curve
    paramSEC_t193r2 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x0163f35a5137c2ce3ea6ed8667190b0bc43ecd69977702709b
            , curveEccB :: Integer
    curveEccB = Integer
    0x00c9bb9e8927d4d64c377e2ab2856a5b16e3efb7f61d4316ae
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x00d9b67d192e0367c803f39e1a7e82ca14a651350aae617e8f
                    Integer
    0x01ce94335607c304ac29e7defbd9ca01f596f927224cdecf6c
            , curveEccN :: Integer
    curveEccN = Integer
    0x010000000000000000000000015aab561b005413ccd4ee99d5
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t233k1 :: CurveType
    typeSEC_t233k1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x020000000000000000000000000000000000000004000000000000000001
    paramSEC_t233k1 :: CurveParameters curve
    paramSEC_t233k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x000000000000000000000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x017232ba853a7e731af129f22ff4149563a419c26bf50a4c9d6eefad6126
                    Integer
    0x01db537dece819b7f70f555a67c427a8cd9bf18aeb9b56e0c11056fae6a3
            , curveEccN :: Integer
    curveEccN = Integer
    0x008000000000000000000000000000069d5bb915bcd46efb1ad5f173abdf
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_t233r1 :: CurveType
    typeSEC_t233r1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x020000000000000000000000000000000000000004000000000000000001
    paramSEC_t233r1 :: CurveParameters curve
    paramSEC_t233r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB = Integer
    0x0066647ede6c332c7f8c0923bb58213b333b20e9ce4281fe115f7d8f90ad
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x00fac9dfcbac8313bb2139f1bb755fef65bc391f8b36f8f8eb7371fd558b
                    Integer
    0x01006a08a41903350678e58528bebf8a0beff867a7ca36716f7e01f81052
            , curveEccN :: Integer
    curveEccN = Integer
    0x01000000000000000000000000000013e974e72f8a6922031d2603cfe0d7
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t239k1 :: CurveType
    typeSEC_t239k1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam Integer
    0x800000000000000000004000000000000000000000000000000000000001
    paramSEC_t239k1 :: CurveParameters curve
    paramSEC_t239k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA = Integer
    0x000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB = Integer
    0x000000000000000000000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x29a0b6a887a983e9730988a68727a8b2d126c44cc2cc7b2a6555193035dc
                    Integer
    0x76310804f12e549bdb011c103089e73510acb275fc312a5dc6b76553f0ca
            , curveEccN :: Integer
    curveEccN = Integer
    0x2000000000000000000000000000005a79fec67cb6e91f1c1da800e478a5
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_t283k1 :: CurveType
    typeSEC_t283k1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x0800000000000000000000000000000000000000000000000000000000000000000010a1
    paramSEC_t283k1 :: CurveParameters curve
    paramSEC_t283k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0503213f78ca44883f1a3b8162f188e553cd265f23c1567a16876913b0c2ac2458492836
                    Integer
    0x01ccda380f1c9e318d90f95d07e5426fe87e45c0e8184698e45962364e34116177dd2259
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x01ffffffffffffffffffffffffffffffffffe9ae2ed07577265dff7f94451e061e163c61
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_t283r1 :: CurveType
    typeSEC_t283r1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x0800000000000000000000000000000000000000000000000000000000000000000010a1
    paramSEC_t283r1 :: CurveParameters curve
    paramSEC_t283r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x027b680ac8b8596da5a4af8a19a0303fca97fd7645309fa2a581485af6263e313b79a2f5
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x05f939258db7dd90e1934f8c70b0dfec2eed25b8557eac9c80e2e198f8cdbecd86b12053
                    Integer
    0x03676854fe24141cb98fe6d4b20d02b4516ff702350eddb0826779c813f0df45be8112f4
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x03ffffffffffffffffffffffffffffffffffef90399660fc938a90165b042a7cefadb307
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t409k1 :: CurveType
    typeSEC_t409k1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x02000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001
    paramSEC_t409k1 :: CurveParameters curve
    paramSEC_t409k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0060f05f658f49c1ad3ab1890f7184210efd0987e307c84c27accfb8f9f67cc2c460189eb5aaaa62ee222eb1b35540cfe9023746
                    Integer
    0x01e369050b7c4e42acba1dacbf04299c3460782f918ea427e6325165e9ea10e3da5f6c42e9c55215aa9ca27a5863ec48d8e0286b
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x007ffffffffffffffffffffffffffffffffffffffffffffffffffe5f83b2d4ea20400ec4557d5ed3e3e7ca5b4b5c83b8e01e5fcf
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_t409r1 :: CurveType
    typeSEC_t409r1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x02000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001
    paramSEC_t409r1 :: CurveParameters curve
    paramSEC_t409r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x0021a5c2c8ee9feb5c4b9a753b7b476b7fd6422ef1f3dd674761fa99d6ac27c8a9a197b272822f6cd57a55aa4f50ae317b13545f
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x015d4860d088ddb3496b0c6064756260441cde4af1771d4db01ffe5b34e59703dc255a868a1180515603aeab60794e54bb7996a7
                    Integer
    0x0061b1cfab6be5f32bbfa78324ed106a7636b9c5a7bd198d0158aa4f5488d08f38514f1fdf4b4f40d2181b3681c364ba0273c706
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x010000000000000000000000000000000000000000000000000001e2aad6a612f33307be5fa47c3c9e052f838164cd37d9a21173
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }
    typeSEC_t571k1 :: CurveType
    typeSEC_t571k1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000425
    paramSEC_t571k1 :: CurveParameters curve
    paramSEC_t571k1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x026eb7a859923fbc82189631f8103fe4ac9ca2970012d5d46024804801841ca44370958493b205e647da304db4ceb08cbbd1ba39494776fb988b47174dca88c7e2945283a01c8972
                    Integer
    0x0349dc807f4fbf374f4aeade3bca95314dd58cec9f307a54ffc61efc006d8a2c9d4979c0ac44aea74fbebbb9f772aedcb620b01a7ba7af1b320430c8591984f601cd4c143ef1c7a3
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x020000000000000000000000000000000000000000000000000000000000000000000000131850e1f19a63e4b391a8db917f4138b630d84be5d639381e91deb45cfe778f637c1001
            , curveEccH :: Integer
    curveEccH = Integer
    4
            }
    typeSEC_t571r1 :: CurveType
    typeSEC_t571r1 =
        CurveBinaryParam -> CurveType
    CurveBinary (CurveBinaryParam -> CurveType) -> CurveBinaryParam -> CurveType
    forall a b. (a -> b) -> a -> b
    $
            Integer -> CurveBinaryParam
    CurveBinaryParam
                Integer
    0x080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000425
    paramSEC_t571r1 :: CurveParameters curve
    paramSEC_t571r1 =
        CurveParameters
            { curveEccA :: Integer
    curveEccA =
                Integer
    0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
            , curveEccB :: Integer
    curveEccB =
                Integer
    0x02f40e7e2221f295de297117b7f3d62f5c6a97ffcb8ceff1cd6ba8ce4a9a18ad84ffabbd8efa59332be7ad6756a66e294afd185a78ff12aa520e4de739baca0c7ffeff7f2955727a
            , curveEccG :: Point curve
    curveEccG =
                Integer -> Integer -> Point curve
    forall curve. Integer -> Integer -> Point curve
    Point
                    Integer
    0x0303001d34b856296c16c0d40d3cd7750a93d1d2955fa80aa5f40fc8db7b2abdbde53950f4c0d293cdd711a35b67fb1499ae60038614f1394abfa3b4c850d927e1e7769c8eec2d19
                    Integer
    0x037bf27342da639b6dccfffeb73d69d78c6c27a6009cbbca1980f8533921e8a684423e43bab08a576291af8f461bb2a8b3531d2f0485c19b16e2f1516e23dd3c1a4827af1b8ac15b
            , curveEccN :: Integer
    curveEccN =
                Integer
    0x03ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe661ce18ff55987308059b186823851ec7dd9ca1161de93d5174d66e8382e9bb2fe84e47
            , curveEccH :: Integer
    curveEccH = Integer
    2
            }