module Providers

public
data Provider a = Provide a | Error String