digit-0.1.0: src/Data/Digit/D7.hs
{-# LANGUAGE NoImplicitPrelude #-}
module Data.Digit.D7 where
import Prelude(Eq)
class Eq a => D7 a where
d7 ::
a
{-# LANGUAGE NoImplicitPrelude #-}
module Data.Digit.D7 where
import Prelude(Eq)
class Eq a => D7 a where
d7 ::
a