Comment by sharno

It can be type safe and testable with free monads