added EmptyType for issue #97