Some ideas:
Cubical
nbe? also present in https://cs.ioc.ee/ewscs/2014/mcbride/mcbride-deptypedmetaprog.pdf
Codebruijn?
DT metaprogrmaming (containers, etc): https://cs.ioc.ee/ewscs/2014/mcbride/mcbride-deptypedmetaprog.pdf https://github.com/pigworker/ProgrammerCommaCon/tree/master/CS410-19/Exercise (also maybe some tasks?)
- just overall explore ProgrammerCommaCon more..