module Plugin where

data I = I Int

resource = I 1