{-# LANGUAGE Haskell2010 #-}
module Roles12 where

import Roles12a

data T a