Noether.Equality

type family Equality a

type family EquateResult s a

type EquateResult' a

type EquateAs' a

class Eq a

class EquateAs s a

data PreludeEq

data Numeric

data Approximate

data Common a

data Composite a b

data Explicit s

data Modulo n

data CoerceFrom a s

type CoerceFrom' a