> Can you do dependent types?

Yes. For example, see https://github.com/wilbowma/cur