newtype

rust annoyance trait macros enum developer-tools derive newtype

scala newtype tagged tagged-types

scala newtype

scala types tagging scalajs newtype tagged tagged-types type-tagging

scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming

rust cli library failure newtype exitfailure

rust diesel custom-derive newtype

haskell parser-combinators solutions algebraic-data-types monad functor monoid semigroup abstract-data-types monad-transformers applicative traversable sum-types haskell-book foldable haskellbook newtype haskell-programming product-type

haskell haskell-library newtype

cats scala newtype cats-effect opaque-type

elm type-safety newtype tagged one-constructor-type

cats docker functional-programming spotify-api http4s circe sbt-native-packager zio newtype pureconfig refined-types

cats scala http4s circe newtype doobie refined

rust uuid string vector macro integers newtype dataclass

cats scala tools concurrency refinement newtype refined refinement-type console-io

scala http4s zio newtype doobie refined tapir

haskell typeclasses newtype overloaded-terms

scala http4s circe newtype doobie refined

crate macro derive newtype

scala newtype

scala newtype

library lib generics idris deriving num newtype idris-ecosystem idris2 idris2-ecosystem

cats scala functional-programming fs2 optics typeclasses monocle newtype tagless-final ciris cats-effect