@ivan I added #crem from #haskell then dropped it when I realized that the wonderful module basically requires #dependenttypes via #singletons. I honestly adore the idea but the type system needs to do too many gymnastics until we can get a type system like #Idris2 or #Granule.

I am the type of person to run before I walk so it took one #pragmatic motherfucker to make that decision without feeling like I had given up something beautiful and elegant.