{-# LANGUAGE ExplicitNamespaces #-}

module Foo(type Str) where

data Str = Str