Slides about MaybeT and ErrorT