jacob
@instance(Try::class) interface TryMonoidInstance<A> : TrySemigroupInstance<A>, Monoid<Try<A>> { override fun empty(): Try<A> { return Failure(Throwable("What can I put here?")) } }