Data.Result

data Ok a

data Error e a

fromOk

class MaybeResult m

unsafeFromResult

class IfOk m

class CompilationError a

class Check a ok

type family Asserted e check

class Assert e ok