Idris.Providers

providerTy

getProvided

data Provided a