if ManagedT is a data type which type class can im...
# arrow-contributors
r
if ManagedT is a data type which type class can implement it's algebra flattening the monad context?