Generic.Data.Internal.Compat
readPrec1 :: (Read1 f, Read a) => ReadPrec (f a) #
type family Div (a :: Nat) (b :: Nat) :: Nat where ... #