Data.JSON.Schema

data Proxy k t