Type-level programming for safer resource management (via rtpg) — discussion

#haskell