module MissingDefinition where

T : Set -> Set