module Roles12 where

import Roles12a

data T a