Propellor.Types.ResultCheck
data UncheckedProperty i
unchecked
checkResult
check
class Checkable p i
assume