functional programming scala refined types
See more