Skip to content

Instantly share code, notes, and snippets.

@glguy
Last active July 19, 2018 22:54
Show Gist options
  • Save glguy/a0e74e9c718a377d70aa0d98fb16a041 to your computer and use it in GitHub Desktop.
Save glguy/a0e74e9c718a377d70aa0d98fb16a041 to your computer and use it in GitHub Desktop.
instance ('(a,b) ~ x, Semigroup b) => Semigroup (ElField x) where
Field x <> Field y = Field (x <> y)
instance ('(a,b) ~ x, KnownSymbol a, Monoid b) => Monoid (ElField x) where
mempty = Field mempty
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment