gelisam questions

gelisam answers

• Execute MonadIO action inside of reactimate
• How dangerous is forkProcess? How can I use it safely?
• Scala: existential types for a Map
• Weakening vinyl's RecAll constraint through entailment
• Scala type inference for existential types and type members
• Generating run time proofs with type predicates in Idris
• How to create a pattern match for Int in a function taking a Type?