attempt at prepend detection (does not typecheck)