module Stub where

resource :: Int