I’ve often wondered about things like the connection between dependent typing and values in template declarations, so it’s nice to see an FP-oriented introduction to the topic.