idris-0.9.8: lib/Providers.idr

module Providers

public
data Provider a = Provide a | Error String