Scala supports dependent types like how F# supports higher kinded types. Kind of, some of the time, but you might be able to find a library which shims full support.