A operação pega traço de tipo `𝔗` e a compõe com outra característica de tipo` 𝕬` como resultado que produz `𝔗 [𝕬]` (`𝔗 ⟼ 𝕬 ⟼ 𝔗 [𝕬]`).O combinador `fromeq` cria uma instância de` eq` para a função para que
A implementação de Golang deste combinador requer definição do tipo `Fromeq` e implementação da classe de tipo correspondente` eq`.Vamos considerar um tipo de produto `t: a × b ×…` juntamente com o conjunto de características de tipo para cada tipo “elementar” `𝔗: eq [a], eq [b],…`.Instâncias de característica `ord ‘não diferem de` eq`, cada tipo “implementa” a especificação declarada:
Instâncias de característica de tipo podem agregar outras características que permitem reutilizar implementações definidas anteriormente.Vamos considerar dois tipos `a` e` b` e a instância da classe de tipo `eq [a]`.
