module Echo1 (plugin) where { import Echo (plugin) }