computational-algebra-0.3.0.0: Well-kinded computational algebra library, currently supporting Groebner basis.
Algebra.Internal
toProxy :: a -> Proxy aSource
module Data.Proxy