Authorization to implement with Extensible Effect

#Security #Functional Programming Effによる認可実装の話