module T5881 where

import T5881a (T')

type DOne = T'