Text.Trifecta.Result
data Result a
class AsResult s t a b
_Success
_Failure
data Err
class HasErr t
class Errable m
explain
failed