Mini-patterns by Kowainik

Read more here
newtype smart constructor evidence make illegal states unrepresentable
Posted on August 29, 2020