Propellor.Types.ResultCheck

data UncheckedProperty i

unchecked

checkResult

check

class Checkable p i

assume